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.
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|