Liveness of an extended S^3PR
From MaRDI portal
Publication:976266
DOI10.1016/J.AUTOMATICA.2010.03.011zbMATH Open1192.93076OpenAlexW2053688063MaRDI QIDQ976266FDOQ976266
Authors: Ding Liu, Zhiwu Li, MengChu 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
Recommendations
- Deadlock and liveness characterization for a class of generalized Petri nets
- Comments on ``Liveness of an extended \(\operatorname{S}^3 \operatorname{PR}\), [automatica 46 (2010) 1008-1018]
- Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait
- An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets
- Deadlock prevention policy based on Petri nets and siphons
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Title not available (Why is that?)
- Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
- Title not available (Why is that?)
- Applications and Theory of Petri Nets 2005
- A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
Cited In (21)
- Complexity of the deadlock problem for Petri nets modeling resource allocation systems
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
- Supervisor reconfiguration for deadlock prevention by resources reallocation
- A survey of siphons in Petri nets
- Erratum to ``Liveness of an extended S\(^{3}\)PR [Automatica 46 (2010) 1008-1018]
- New controllability condition for siphons in \(\mathrm{WS}^{3}\mathrm{PR}\) nets
- Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait
- Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
- Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
- Authors' reply to 'Comments on ``\(\operatorname{S}^3 \operatorname{PR}"\) [automatica 46(6) (2010) 1008-1018]'
- Comments on ``Liveness of an extended \(\operatorname{S}^3 \operatorname{PR}\), [automatica 46 (2010) 1008-1018]
- Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis
- A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
- Deadlock and liveness characterization for a class of generalized Petri nets
- Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems
- Property analysis of logic Petri nets by marking reachability graphs
- Necessary and sufficient liveness condition of GS3PR Petri nets
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
- On the enforcement of a class of nonlinear constraints on Petri nets
- Adaptive supervisory control for automated manufacturing systems using borrowed-buffer slots
- An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets
This page was built for publication: Liveness of an extended S\(^{3}\)PR
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q976266)
