Keyword:Petri nets

Papers
Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems Tephilla Prince EasyChair Preprint no. 8638
Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes Wojciech Czerwiński and Łukasz Orlikowski EasyChair Preprint no. 8619
The Procedures of Logistic Transport Systems Simulation in the Petri Nets Environment Olexiy Pavlenko, Denys Velykodnyi, Olena Lavrentieva and Sergiy Filatov EasyChair Preprint no. 4186
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