A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science
On the equivalence between liveness and deadlock-freeness in petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |