HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Petri nets

Papers
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
Copyright © 2012-2022 easychair.org. All rights reserved.