Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2023 easychair.org. All rights reserved.