Compilation de réseaux de Petri

avec un formalisme de modélisation, par exemple des réseaux de Petri ou des
automates. ... d'ingénierie puisqu'on peut aisément corriger l'erreur. Cependant ...

Part of the document