Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

Houssam-Eddine Gougam, Yannick Pencolé, Audine Subias. Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. Discrete Event Dynamic Systems, 27(1):143-180, 2017. [doi]

Abstract

Abstract is missing.