Keyword:patterns

Papers
Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking Yannick Pencolé and Audine Subias In:28th International Workshop on Principles of Diagnosis (DX'17)