Eleonora Fois
PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches
Tong, Yin
Secondo
;Seatzu, CarlaPenultimo
;Giua, AlessandroUltimo
2018-01-01
Abstract
This paper presents a MATLAB toolbox, called PetriBaR, for the analysis and control of Petri nets. PetriBaR is a package of functions devoted to basic Petri net analysis (including the computation of T-invariants, siphons, reachability graph, etc.), monitor design, reachability analysis, state estimation, fault diagnosis, and opacity verification. In particular, the functions for reachability analysis, state estimation, fault diagnosis, and opacity verification exploit the construction of the Basis Reachability Graph to avoid the exhaustive enumeration of the reachable set, thus leading to significant advantages in terms of computational complexity. All functions of PetriBaR are introduced in detail clarifying the syntax to be used to run them. Finally, they are illustrated via a series of numerical examples. PetriBaR is available online for public access.File | Dimensione | Formato | |
---|---|---|---|
18wodes_a.pdf accesso aperto
Descrizione: Articolo principale
Tipologia: versione editoriale
Dimensione 569.22 kB
Formato Adobe PDF
|
569.22 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.