On Liveness and Controlled Siphons in Petri Nets

Comparing the reliability provided by tasks or protected objects for implementing a resource allocation service: a case study

Proceedings of the conference on TRI-Ada '97

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets

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

Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs

Computers and Industrial Engineering

Combined siphon and marking generation for deadlock prevention in Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Liveness enforcing supervision of video streaming systems using nonsequential Petri nets

IEEE Transactions on Multimedia

A new class of Petri nets for modeling and control of ratio-enforced resource allocation systems

SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics

Controllability for siphons in S3PGR2

ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation

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

Finding a witness path for non-liveness in free-choice nets

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets

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

An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming

Discrete Event Dynamic Systems

Robustness of deadlock control for a class of Petri nets with unreliable resources

Information Sciences: an International Journal

Methods for the estimation of the size of lookahead tree state-space

Discrete Event Dynamic Systems

A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets

Automatica (Journal of IFAC)

Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems

Information Sciences: an International Journal

Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons

Journal of Intelligent Manufacturing