On liveness and controlled siphons in Petri nets

Recommendations

scientific article; zbMATH DE number 2088663
Necessary and sufficient liveness condition of GS³PR Petri nets
Applications and Theory of Petri Nets 2005
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties
On conditions for the liveness of weakly persistent nets

Cites work

scientific article; zbMATH DE number 4031000 (Why is no real title available?)
scientific article; zbMATH DE number 3789841 (Why is no real title available?)
scientific article; zbMATH DE number 777433 (Why is no real title available?)
A polynomial-time algorithm to decide liveness of bounded free choice nets

Cited in

(35)

New algorithms for deciding the siphon-trap property
On Compositionality of Boundedness and Liveness for Nested Petri Nets
PSPACE-completeness of the soundness problem of safe asymmetric-choice workflow nets
Editorial: Deadlock analysis and control in resource allocation systems
On liveness in extended non self-controlling nets
Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
Deadlock and liveness characterization for a class of generalized Petri nets
A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
Robustness of deadlock control for a class of Petri nets with unreliable resources
On liveness and boundedness of asymmetric choice nets
Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
Siphons, traps and high-level nets with infinite color domains
Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
scientific article; zbMATH DE number 2088663 (Why is no real title available?)
scientific article; zbMATH DE number 1756008 (Why is no real title available?)
Adaptive supervisory control for a class of Petri nets with bimodal transitions
A survey of siphons in Petri nets
Minimal generating sets for semiflows
Verification of siphons and traps for algebraic Petri nets
Methods for the estimation of the size of lookahead tree state-space
Improvement on `structure of weakly 2-dependent siphons'
Finding a witness path for non-liveness in free-choice nets
scientific article; zbMATH DE number 3982527 (Why is no real title available?)
An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets
Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
Liveness and boundedness analysis of Petri net synthesis
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties
Petri net representation and reachability analysis of 0--1 integer linear programming problems
Liveness for synchronized choice Petri nets
Observable liveness of Petri nets
Deadlock detection-oriented unfolding of unbounded Petri nets
Applications and Theory of Petri Nets 2005
On conditions for the liveness of weakly persistent nets

This page was built for publication: On liveness and controlled siphons in Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4633154)