Petri nets: an introduction
On Liveness in Extended non Self-Controlling Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Cycle inclusion property of augmented marked graphs
Information Processing Letters
Property-preserving composition of distributed system components
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Hi-index | 0.89 |