Résumé de section

    • Ce chapitre 5 présente l'extention temporisée des réseaux de Petri avec un apport théorique et des exemples.
      Pour suivre les séquences, vous pouvez vous appuyer sur les supports : FMR_RdP_T.pdf et FMR_RdP_T_EspaceEtatsTPN.pdf.



    • Équipe pédagogique

      Contributeurs : Isabel Demongodin et Olivier H. Roux
      Intervenant :  Olivier H. Roux

    • Les étudiants doivent
      Marquer comme terminé

      Introduction


    • Les étudiants doivent
      Marquer comme terminé

      Présentation informelle


    • Les étudiants doivent
      Marquer comme terminé

      Sémantique des Réseaux de Petri Temporels


    • Les étudiants doivent
      Marquer comme terminé

      Abstraire l'espace d'états


    • Les étudiants doivent
      Marquer comme terminé

      Présentation de l'algorithme


    • Les étudiants doivent
      Marquer comme terminé

      Application sur la séquence


    • Les étudiants doivent
      Marquer comme terminé

      Outils


    • Mise en application
       
      A vous de mettre en application ce que vous venez d'apprendre sur un exemple en utilisant


    • Références

      Pezzè, M. (1999).
      Time Petri Nets : A Primer Introduction.
      Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications,
      Zaragoza, Spain.
      Ramchandani, C. (1974).
      Analysis of asynchronous concurrent systems by timed Petri nets.
      PhD thesis, Massachusetts Institute of Technology, Cambridge, MA.
      Project MAC Report MAC-TR-120.
      Sifakis, J. (1980).
      Performance Evaluation of Systems using Nets.
      In Net theory and applications : Proc. of the advanced course on general net theory, processes and systems
      (Hamburg, 1979), volume 84 of LNCS. Springer-Verlag.

    • Pour aller plus loin

      Prochaines éditions des écoles SED ...

    • Pour revenir en arrière

      Si les notions de réseaux de Petri ne sont pas claires, vous pouvez suivre le chapitre 3.