2. Réseaux de Petri autonomes
2.1.1 Définition informelle des réseaux de Petri
Un réseau de Petri est un graphe composé de deux types de nœuds :
-
les places qui permettent de décrire les états du système modélisé ;
-
les transitions qui représentent les changements d'état.
Places et transitions sont reliées par des arcs orientés (figure 7). On dit qu'un réseau de Petri est un graphe biparti orienté.
...La suite de cet article est réservée aux abonnés
Identifiez-vous
Consultation gratuite
votre période de consultation gratuite
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.
