Keyword:Petri nets

Publications
Analysis of Barrel Electroplating Line with Process Mining and Petri-Net Model Ayse Ozates, Erhan Akin, Aykut Bilgic, Emre Akca and Canan Tastimur EasyChair Preprint 11964
EnPAC: Petri Net Model Checking for Linear Temporal Logic Zhijun Ding, Cong He and Shuo Li EasyChair Preprint 11276
Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems Tephilla Prince EasyChair Preprint 8638
Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes Wojciech Czerwiński and Łukasz Orlikowski EasyChair Preprint 8619
The Procedures of Logistic Transport Systems Simulation in the Petri Nets Environment Olexiy V. Pavlenko, Denys O. Velykodnyi, Olena Lavrentieva and Sergiy V. Filatov EasyChair Preprint 4186
Efficient Communication and Navigation for Soccer Robots using a Time Petri net Model Shane Chiovarou, Madison Bland and Seung-yun Kim In:Proceedings of 39th 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
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
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)
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)
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