7. Réseaux de Petri colorés
Tout au long de ce dossier, nous nous sommes cantonnés aux réseaux de Petri utilisant des jetons ordinaires. Il en existe une autre catégorie appelée
réseaux de Petri colorés
qu'il est nécessaire de mentionner avant de conclure.
Contrairement aux réseaux de Petri ordinaires où les jetons sont banalisés, ils constituent des entités distinctes dans les réseaux de Petri colorés. Cela permet, entre autres :
de suivre leur déplacement sur le réseau ;
de leur attribuer des propriétés qui peuvent varier en cours de simulation ;
de valider la même transition à partir de plusieurs jetons différents.
Ces propriétés permettent par exemple d'utiliser la même structure statique...
Cet article est réservé aux abonnés
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ?
Se connecter
Lecture en cours
Réseaux de Petri colorés