2. Extensions fonctionnelles des réseaux de Petri
Bien que les réseaux de Petri permettent de modéliser simplement et de manière graphique les mécanismes de base tels que la synchronisation, le choix, la concurrence, les rendez-vous, etc., ils se sont montrés très limitatifs. En effet, le simple jeu de consommation et de création de ressources (jetons) ne permet pas de modéliser des systèmes très complexes. Plusieurs travaux visent à étendre le formalisme de référence par les réseaux de Petri pour proposer des modèles plus compacts et plus expressifs. Il faudra toutefois trouver un compromis entre la richesse du modèle par l’ajout des extensions et la perte au niveau de la décidabilité de certaines propriétés. La section suivante présente certaines de ces extensions.
2.1 Arc inhibiteur
En règle générale, les...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Extensions fonctionnelles des réseaux de Petri
Extensions temporelles des réseaux de Petri
Sources 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
"Automatique et ingénierie système"
(
226 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.
![Écoutez notre podcast Cogitons Sciences : Clément Thivin, un ingénieur pas bateau [Des ingénieurs qui cassent la routine #3]](https://www.techniques-ingenieur.fr/actualite/wp-content/uploads/2022/04/visuel-Article-actu-Podcast-12-ok-2.png)
