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
New characterization for live and reversible augmented marked graphs
Information Processing Letters
Hi-index | 0.89 |