4. Analyse des systèmes asynchrones par réseaux de Petri (RdP)
À l’origine (1962) le réseau de Petri est un modèle abstrait et formel de circulation de l’information et du contrôle de processus. Le graphe du réseau décrit ses propriétés statiques, de manière similaire à la représentation par diagramme de flux d’un programme. Il comporte deux types de nœuds : les places (états ou conditions) représentées par des cercles et les transitions (ou événements) symbolisées par des barres. Ces nœuds sont connectés entre eux par des arcs orientés – des places aux transitions (arcs amont) et des transitions aux places (arcs aval) exclusivement –.
De plus, la circulation de jetons (marqueurs indivisibles), symbolisant la présence à un instant donné d’une information ou d’une initialisation particulière aux places où ils résident, permet la modélisation dynamique du comportement système (aussi bien désiré que redouté) au sein du réseau (figure ...
La suite de cet article est réservée aux abonnés
Vous n'êtes pas abonné ?
Consultez gratuitement cet article.
votre période de consultation gratuite
Découvrez le plus important corpus scientifique et technique francophone
Plus de 8 000 articles, 13 univers, 400 bases documentaires, les plus grands auteurs, un enrichissement permanent et un éventail de services associés.
