Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets
From MaRDI portal
Publication:5177194
DOI10.1002/asjc.801zbMath1307.93255MaRDI QIDQ5177194
Abdulaziz M. El-Tamimi, YiFan Hou, Abdulrahman Al-Ahmari, Emad Abouel Nasr, Zhiwu Li
Publication date: 10 March 2015
Published in: Asian Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/asjc.801
05C90: Applications of graph theory
90B30: Production models
93C65: Discrete event control/observation systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
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
Cites Work
- Maximally permissive supervisor synthesis based on a new constraint transformation method
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Liveness of an extended S\(^{3}\)PR
- On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
- 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
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
- Approach for Transforming Linear Constraints on Petri Nets
- Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
- A simple Suboptimal siphon‐based control model of a well‐known S3PR
- Unnamed Item
- Unnamed Item
