Necessary and sufficient liveness condition of GS3PR Petri nets
From MaRDI portal
Publication:5252903
DOI10.1080/00207721.2013.827257zbMath1312.93071OpenAlexW3004468380MaRDI QIDQ5252903
Publication date: 3 June 2015
Published in: International Journal of Systems Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207721.2013.827257
Controllability (93B05) Production models (90B30) Discrete event control/observation systems (93C65)
Related Items (5)
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ Robust deadlock control of automated manufacturing systems with multiple unreliable resources ⋮ A survey of siphons in Petri nets ⋮ Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs ⋮ Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait
Cites Work
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Liveness of an extended S\(^{3}\)PR
- Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
- Robustness of deadlock control for a class of Petri nets with unreliable resources
- Controllability of control and mixture weakly dependent siphons in S3PR
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Recursive solution of number of reachable states of a simple subclass of FMS
- On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S3PR of flexible manufacturing systems
This page was built for publication: Necessary and sufficient liveness condition of GS3PR Petri nets