Liveness of an extended S\(^{3}\)PR

DOI10.1016/j.automatica.2010.03.011zbMath1192.93076OpenAlexW2053688063MaRDI QIDQ976266

Zhiwu Li, Ding Liu, Meng Chu Zhou

Publication date: 17 June 2010

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2010.03.011

zbMATH Keywords

Petri netspolynomial algorithmsdeadlock preventionflexible manufacturing system (FMS)circular wait

Mathematics Subject Classification ID

Related Items (18)

Supervisor reconfiguration for deadlock prevention by resources reallocation ⋮ On the enforcement of a class of nonlinear constraints on Petri nets ⋮ Erratum to ``Liveness of an extended S\(^{3}\)PR [Automatica 46 (2010) 1008-1018] ⋮ Robust control reconfiguration of resource allocation systems with Petri nets and integer programming ⋮ Comments on ``Liveness of an extended \(\operatorname{S}^3 \operatorname{PR}\), [automatica 46 (2010) 1008-1018] ⋮ Authors' reply to 'Comments on ``\(\operatorname{S}^3 \operatorname{PR}"\) [automatica 46(6) (2010) 1008-1018'] ⋮ Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems ⋮ Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets ⋮ A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models ⋮ New Controllability Condition for Siphons in Ws³PR Nets ⋮ Complexity of the deadlock problem for Petri nets modeling resource allocation systems ⋮ A survey of siphons in Petri nets ⋮ Property analysis of logic Petri nets by marking reachability graphs ⋮ A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems ⋮ Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis ⋮ An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets ⋮ Deadlock and liveness characterization for a class of generalized Petri nets ⋮ Necessary and sufficient liveness condition of GS³PR Petri nets

Cites Work

• Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
• 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
• Applications and Theory of Petri Nets 2005
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Liveness of an extended S\(^{3}\)PR