Diagnosability and Predictability of pattern in Labelled Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Diagnosability and Predictability of pattern in Labelled Petri Nets

Résumé

This paper addresses the problem of checking predictability of event patterns in labelled Petri nets. After formally introducing the predictabil- ity problem of an event pattern, a method for au- tomatically checking predictability is proposed. The proposed method has two steps. The first one consists in checking diagnosability of event patterns which is a necessary condition for pre- dictability. And, if diagnosability holds, the sec- ond step is launched and concludes about the predictability of the investigated event pattern. The proposed method uses a model-checking ap- proach and is fully implemented with the help of a model-checking toolchain.
Fichier principal
Vignette du fichier
dx.pdf (300.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03773804 , version 1 (09-09-2022)

Identifiants

  • HAL Id : hal-03773804 , version 1

Citer

Eric Lubat, Camille Coquand, Yannick Pencole, Audine Subias. Diagnosability and Predictability of pattern in Labelled Petri Nets. 33rd International Workshop on Principle of Diagnosis (DX 2022), LAAS-CNRS-ANITI, Sep 2022, Toulouse, France. ⟨hal-03773804⟩
90 Consultations
34 Téléchargements

Partager

Gmail Facebook X LinkedIn More