K-diagnosability of labeled Petri nets

Abstract

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

Topics

  • Presentations referencing similar topics