4. Analyse des systèmes asynchrones par réseaux de Petri (RdP)
4.1 Définitions et concepts
À 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 –.
...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Analyse des systèmes asynchrones par réseaux de Petri (RdP)
Références bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Électronique"
(
494 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.
