Houssam Eddine Gougam, Yannick Pencolé, Audine Subias. Diagnosability analysis of patterns on bounded labeled prioritized Petri nets.
Discrete Event Dynamic Systems, Springer Verlag, 2017, 27 (1), pp.143-180.
⟨10.1007/s10626-016-0234-5⟩.
⟨hal-01574475⟩