Keyword:Petri nets

Papers
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems Abderraouf Boussif, Baisi Liu and Mohamed Ghazel In:28th International Workshop on Principles of Diagnosis (DX'17)
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)
Branching Processes of Conservative Nested Petri Nets Daniil Frumin and Irina Lomazova In:VPT 2014. Second International Workshop on Verification and Program Transformation
Acceleration For Presburger Petri Nets Jerome Leroux In:VPT 2013. First International Workshop on Verification and Program Transformation
A Survey of Elementary Object Systems Michael Köhler-Bußmeier In:LAM'10. 3rd International Workshop on Logics, Agents, and Mobility