Résumé de section

  • Replier Déplier

    Généralités

    Tout replier Tout déplier
  • Replier Déplier

    Chapitre 3 - Réseaux de Petri

  • Replier Déplier

    Chapitre 5 - Introduction aux Réseaux de Petri temporels

  • Replier Déplier

    Chapitre 7 : Méthodologie de construction

    • Ce chapitre 7 présente une méthodologie de modélisation adaptée aux SED.
      Pour suivre les séquences, vous pouvez vous appuyer sur le support : MTH_MM.pdf.



    • Équipe pédagogique

      Contributeurs : Pascal Berruet, Gregory Faraut, Euriell Le Corronc, Pascale Marangé
      Intervenant.e.s :  Pascal Berruet, Gregory Faraut, Euriell Le Corronc

    • Les étudiants doivent
      Marquer comme terminé

      Introduction


    • Les étudiants doivent
      Marquer comme terminé

      Qu'est-ce qu'un modèle ?


    • Les étudiants doivent
      Marquer comme terminé

      Méthodologie de construction d'un modèle


    • Les étudiants doivent
      Marquer comme terminé

      Vision globale du système


    • Les étudiants doivent
      Marquer comme terminé

      Vision comportementale du système


    • Les étudiants doivent
      Marquer comme terminé

      Illustration de cette méthodologie par un exemple


    • Les étudiants doivent
      Marquer comme terminé

      Quelques remarques pour conclure cette méthodologie


    • Les étudiants doivent
      Marquer comme terminé

      Conclusion sur la méthodologie


    • Les étudiants doivent
      Marquer comme terminé

      Différents besoins de modélisation


    • Les étudiants doivent
      Marquer comme terminé

      Quel modèle pour quel système et quel objectif ?


    • Les étudiants doivent
      Marquer comme terminé

      Conclusion


    • Pour aller plus loin

      Pour aller plus loin, vous pouvez regarder les modélisations sont faites dans le cas du contrôle-commande via le chapitre 8, de la vérification avec le chapitre 9 et du  diagnostic via le chapitre 10.

    • Pour revenir en arrière

      Si les notions d'automates ne sont pas claires, vous pouvez suivre le chapitre 2 ou si les notions de réseaux de Petri ne sont pas claires, vous pouvez suivre le chapitre 3. Si les notions d'événements ou d'états ne sont pas claires, vous pouvez suivre le chapitre 1.

  • Replier Déplier

    Formation et École soutenues par