en utilisant des algorithmes connus en théorie des graphes ou des méthodes propres aux réseaux de Petri. Le modèle … consiste en une extension de la théorie des automates à états finis permettant la synchronisation et la composition de sous …-known algorithms in graph theory or methods that are specific to Petri nets. The model consists in a graphical extension of finite …