Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
Computers and Industrial Engineering
Why Does My Service Have No Partners?
Web Services and Formal Methods
Combined siphon and marking generation for deadlock prevention in Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Efficient deadlock prevention in Petri nets through the generation of selected siphons
ACC'09 Proceedings of the 2009 conference on American Control Conference
Liveness verification of discrete event systems modeled by n-safe ordinary Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Using Petri net invariants in state space construction
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
On the equivalence between liveness and deadlock-freeness in petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Petri nets for protocol engineering
Computer Communications
Hi-index | 0.00 |