Bonjour,
Comment peut-on spécifier le réseau de Petri?
J'ai besoin de mettre un chapitre dans ma mémoire pour les réseaux de Petri et je veux précéder "réseau de Petri" par Méthode, langage ou bien formalisme de modélisation?
Merci d'avance.
Version imprimable
Bonjour,
Comment peut-on spécifier le réseau de Petri?
J'ai besoin de mettre un chapitre dans ma mémoire pour les réseaux de Petri et je veux précéder "réseau de Petri" par Méthode, langage ou bien formalisme de modélisation?
Merci d'avance.
Modèle.
Après, avec les extensions adéquates, les réseaux de Petri peuvent devenir Turing-complet, à ce moment on ne peut plus les distinguer d'un langage. Sinon, dans la version de base, c'est un modèle orienté vers les processus concurrents.