5. Conclusion
Les réseaux de Petri sont assez communément utilisés dans la modélisation des protocoles de communication, dans l’évaluation de la sûreté de fonctionnement, dans le diagnostic et l’analyse de la fiabilité de systèmes critiques. La variabilité de tous ces domaines souligne la polyvalence de cet outil dans différents secteurs d’ingénierie et des sciences du numérique.
Cet article visait donc à fournir une présentation générale des réseaux de Petri. Il présente d’abord les différentes définitions théoriques, ainsi que les propriétés qui les caractérisent, avec notamment la description de diverses extensions. Ces éléments théoriques sont essentiels car ils posent les bases solides nécessaires à une implémentation efficace des concepts. Nous avons aussi présenté la notation que nous avons utilisée pour l’implémentation du logiciel EMBEDPN.
Cet...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Conclusion
Glossaire
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)
