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
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |