Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Behavior relativity of Petri nets
Journal of Computer Science and Technology
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software
Property-preserving subnet reductions for designing manufacturing systems with shared resources
Theoretical Computer Science
Petri nets for protocol engineering
Computer Communications
Channel properties of asynchronously composed petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hi-index | 0.00 |