Idioma:

Diagnosability and Predictability of pattern in Labelled Petri Nets

Lubat, Eric ; Coquand, Camille ; Pencole, Yannick ; Subias, Audine

Sem texto completo

Citações Citado por

Título:
Diagnosability and Predictability of pattern in Labelled Petri Nets
Autor: Lubat, Eric ; Coquand, Camille ; Pencole, Yannick ; Subias, Audine
Assuntos: Computer Science
Descrição: This paper addresses the problem of checkingpredictability of event patterns in labelled Petrinets. 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 firstone consists in checking diagnosability of eventpatterns which is a necessary condition for pre-dictability. And, if diagnosability holds, the sec-ond step is launched and concludes about thepredictability of the investigated event pattern.The proposed method uses a model-checking ap-proach and is fully implemented with the help ofa model-checking toolchain.
Data de criação/publicação: 2022
Idioma: Francês

Links

Voltar para lista de resultados