Liveness of an extended S^3PR
From MaRDI portal
Publication:976266
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
- scientific article; zbMATH DE number 1836363 (Why is no real title available?)
- scientific article; zbMATH DE number 777433 (Why is no real title available?)
- scientific article; zbMATH DE number 3359777 (Why is no real title available?)
- scientific article; zbMATH DE number 2221543 (Why is no real title available?)
- A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
- Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
- Applications and Theory of Petri Nets 2005
- 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
Cited in
(21)- 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]
- A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
- New controllability condition for siphons in \(\mathrm{WS}^{3}\mathrm{PR}\) nets
- Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems
- Deadlock and liveness characterization for a class of generalized 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
- Adaptive supervisory control for automated manufacturing systems using borrowed-buffer slots
- Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis
- Erratum to ``Liveness of an extended S\(^{3}\)PR [Automatica 46 (2010) 1008-1018]
- Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
- A survey of siphons in Petri nets
- Necessary and sufficient liveness condition of GS3PR Petri nets
- Complexity of the deadlock problem for Petri nets modeling resource allocation systems
- Supervisor reconfiguration for deadlock prevention by resources reallocation
- An efficient siphon-based deadlock prevention policy for a class of generalized 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
- 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
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)
