K-diagnosability of labeled Petri nets


This paper presents an approach to solve the problem of K-diagnosability of bounded labeled Petri nets (PNs). We first introduce extended incidence matrix, marking-eventing and extended state equation, which make it possible to record the number of event occurrences for any marking reachable from the initial one. Based on the proposed conceptions, we give a… (More)

4 Figures and Tables


  • Presentations referencing similar topics