5. Réseaux de Petri
5.1 Historique
L'invention des réseaux de Petri est toute récente puisqu'ils ont été définis pour la première fois dans une thèse présentée au début des années soixante. À noter que, leur inventeur étant allemand, Petri doit s'écrire sans accent aigu sur la voyelle e. Le but initial n'était pas du tout la sûreté de fonctionnement mais la représentation graphique du comportement d'automates à états finis. À l'heure actuelle, c'est encore la plus grosse utilisation qui en est faite et la majorité des travaux théoriques en la matière concerne leur utilisation en vérification formelle du bon fonctionnement d'automates. Une manifestation tangible de cette situation est la normalisation sous le nom de GRAFCET [5] d'une forme de réseaux de Petri destinés à la spécification...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Réseaux de Petri
RdP versus processus de Markov
Article inclus dans l'offre
"Sécurité et gestion des risques"
(
510 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
