Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis
Giua A.;Seatzu C.
2020-01-01
Abstract
In this note, we focus on labeled Petri nets and formalize two properties, language divergence and marking divergence, discussing their relevance for diagnosability analysis. In particular, we review the results for diagnosability and K-diagnosability presented in an article entitled 'A new approach for diagnosability analysis of Petri nets using verifier nets' that we coauthored. We show that these results apply to nets that are language divergence-free, an assumption that was not explicitly mentioned in that article. In addition, we also provide an alternative structural assumption - which does not require testing the behavioral property of divergence-freeness - under which the above results hold.File | Size | Format | |
---|---|---|---|
20tac_c.pdf Solo gestori archivio
Type: versione editoriale
Size 510.7 kB
Format Adobe PDF
|
510.7 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.