Comments on ``Liveness of an extended S^3 PR, [automatica 46 (2010) 1008-1018]

DOI10.1016/J.AUTOMATICA.2014.05.034MaRDI QIDQ466321zbMATH OpenOpenAlexFDO

Authors ShouGuang Wang, Miao Liu

Publication date 24 October 2014

Published in Automatica (Search for Journal in Brave)

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

zbMATH Keywords

Petri netdeadlock preventioncircular wait

Mathematics Subject Classification ID

Production models (90B30) Discrete event control/observation systems (93C65)

Recommendations

• Liveness of an extended S\(^{3}\)PR
• On the ``counter-example in the article ``Max-controlled siphons for liveness of \(S^3PGR^2\) regarding the results in ``Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait
• Deadlock and liveness characterization for a class of generalized Petri nets
• New controllability condition for siphons in \(\mathrm{WS}^{3}\mathrm{PR}\) nets

Cites work

• Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
• Liveness of an extended S\(^{3}\)PR

Cited in

(4)

• On the ``counter-example in the article ``Max-controlled siphons for liveness of \(S^3PGR^2\) regarding the results in ``Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• Author's reply to: ``Counterexamples to: `Liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods' by X. Xia and A. Giua
• Liveness of an extended S\(^{3}\)PR
• Deadlock and liveness characterization for a class of generalized Petri nets

This page was built for publication: Comments on ``Liveness of an extended \(\operatorname{S}^3 \operatorname{PR}\), [automatica 46 (2010) 1008-1018]

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466321)