Présentation
RÉSUMÉ
Cet article présente les aspects formels et applicatifs des réseaux de Petri. C’est un outil qui permet de modéliser et d’analyser des systèmes sous forme d’états, de transitions et de jetons dans lequel l’évolution du contrôle se fait de manière asynchrone et concurrente. La notion de jeton permet de modéliser le concept de capacité. Différentes extensions de RdP sont détaillées, offrant une expressivité fonctionnelle accrue et proposant des modélisations plus compactes. Un autre type d’extension concerne l’introduction du temps. Ces extensions permettent d’introduire les notions
d’urgence, de chien de garde et de durée. Enfin, un ensemble d’outils applicatifs sont détaillés pour la modélisation, la simulation et la génération de code.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l'articleAUTEUR(S)
-
David DELFIEU : Maître de conférences à Polytech'Nantes - Laboratoire des Sciences et du Numérique de Nantes (LS2N), France
-
Olivier Henri ROUX : Professeur des universités à l’École centrale de Nantes - Laboratoire des Sciences et du Numérique de Nantes (LS2N), France
-
Robert VALETTE : Directeur de recherche honoraire - LAAS-CNRS Toulouse, France
INTRODUCTION
Les réseaux de Petri permettent de formaliser les notions de concurrence, de synchronisation et de dénombrer des ressources, et constituent un outil de modélisation de systèmes de contrôle-commande. De plus, il existe des versions étendues qui prennent en compte des informations temporelles. Les réseaux de Petri sont définis mathématiquement à l’aide d’une notation vectorielle. Concernant les réseaux de Petri ne prenant pas en compte le temps, une sémantique complète sa définition mathématique. Concernant les extensions temporelles, nous présenterons, en section 3 , plusieurs sémantiques selon l’interprétation que l’on peut faire du « vieillissement » des transitions. Les réseaux de Petri ont été introduits dans la thèse de doctorat de Carl Adam Petri en 1962 et repris par un groupe de chercheurs du MIT . Les éditions Springer Verlag publient les résultats importants dans Advances in Petri Nets .
Dans les sections 1.1 ...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
MOTS-CLÉS
Réseau de Petri | Systèmes temps réel | Systèmes concurrent | Outils de modélisation
VERSIONS
Il existe d'autres versions de cet article :
- Version archivée 1 de sept. 2001 par Pascal RICHARD, Christophe HARO
DOI (DIGITAL OBJECT IDENTIFIER)
RÉFÉRENCE BIBLIOGRAPHIQUE
Réseaux de Petri - Théorie et mise en œuvre
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)
