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
A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software
Information Processing Letters
Hi-index | 0.89 |