Autor:

Li, Ben ; Khlif-Bouassida, Manel ; Toguéyni, Armand

Współtwórca:

Puig, Vicenç - ed. ; Sauter, Dominique - ed. ; Aubrun, Christophe - ed. ; Schulte, Horst - ed.

Tytuł:

On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets

Podtytuł:

.

Tytuł publikacji grupowej:

AMCS, volume 28 (2018)

Temat i słowa kluczowe:

fault diagnosis ; discrete event systems ; labeled Petri nets ; on-the-fly diagnosability analysis ; verifier nets

Abstract:

This paper considers the problem of diagnosability analysis of discrete event systems modeled by labeled Petri nets (LPNs). We assume that the LPN can be bounded or "unbounded" with no deadlock after firing any fault transition. Our approach is novel and presents the on-the-fly diagnosability analysis using verifier nets. For a given LPN model, the verifier net and its reachability graph (for a "bounded" LPN) or coverability graph (for an "unbounded" LPN) are built on-the-fly and in parallel for diagnosability analysis. As soon as a diagnosability decision is established, the construction is stopped.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

2018

Typ zasobu:

artykuł

DOI:

10.2478/amcs-2018-0019

Strony:

269-281

Źródło:

AMCS, volume 28, number 2 (2018) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Licencja CC BY 4.0:

kliknij tutaj, żeby przejść

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego