Keyword:Petri nets

Papers
Implementing Timed Petri net for Modeling and Simulation in Card Gameplay Garrett Hope, Paul Brodhead and Seung-yun Kim In:Proceedings of 35th International Conference on Computers and Their Applications
Soccer Playing Robot Goal Scoring Algorithm Using Fuzzy Petri nets Paul Brodhead, Garrett Hope and Seung-yun Kim In:Proceedings of 35th International Conference on Computers and Their Applications
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