Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.