A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Higher-order petri net modelling: techniques and applications
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Executing transactions in zero-safe nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Verifying generalized soundness of workflow nets
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
Petri nets for protocol engineering
Computer Communications
| Hi-index | 0.00 |