Résumé de section

    • Ce chapitre 3 présente les réseaux de Petri avec un apport théorique et des exemples. Pour suivre les séquences, vous pouvez vous appuyer sur le support FRM_RdP.pdf.



    • Équipe pédagogique

      Contributeurs : Pascal Berruet, Isabel Demongodin, Olivier H. Roux, Armand Toguyeni
      Intervenant :  Isabel Demongodin

    • Les étudiants doivent
      Marquer comme terminé

      Introduction


    • Les étudiants doivent
      Marquer comme terminé

      Structure statique


    • Les étudiants doivent
      Marquer comme terminé

      Structure dynamique


    • Les étudiants doivent
      Marquer comme terminé

      Constructions de base


    • Les étudiants doivent
      Marquer comme terminé

      Outils d'analyse des RdP


    • Les étudiants doivent
      Marquer comme terminé

      Graphe des marquages


    • Les étudiants doivent
      Marquer comme terminé

      Graphe de couverture


    • Les étudiants doivent
      Marquer comme terminé

      Équation d'état


    • Les étudiants doivent
      Marquer comme terminé

      Invariants


    • Les étudiants doivent
      Marquer comme terminé

      Propriétés des RdP


    • Les étudiants doivent
      Marquer comme terminé

      Propriétés comportementales


    • Les étudiants doivent
      Marquer comme terminé

      Propriétés structurelles


    • Les étudiants doivent
      Marquer comme terminé

      Conclusion


    • Mise en application

      A vous de mettre en application ce que vous venez d'apprendre sur un exemple en utilisant :
      • et la vidéo


    • Références

      Murata, T. (1982). Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, vol. 77, n° 4.
      G.W. BRAMS. (1983). Réseaux de Petri : théorie et pratique. Ed. Masson.
      David, R. and Alla, H. (1992). Du Grafcet aux réseaux de Petri. Ed. HERMES.
      Cassandras, C. G. and Lafortune, S. (2008). Introduction to discrete event systems. Springer.
      David, R. and Alla, H. (2010). Discrete, Continuous, and Hybrid Petri Nets. Springer.
       Petri Nets World: http://www.petri-net.de/
      Tools on Petri nets: https://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html

    • Pour aller plus loin

      Pour aller plus loin, vous pouvez regarder la partie sur l'extension temporisée : chapitre 5, ou l'utilisation pour le contrôle commande dans la vidéo UTL_CTRL_RdP, et  l'utilisation en diagnostic avec le chapitre 10.

    • Pour revenir en arrière

      Si la notion d'événement ou d'état n'est pas claire, aller à la vidéo INTRO_Definitions.mp4.