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 –.
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...
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"
(
496 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.
