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

DOI10.1016/J.AUTOMATICA.2014.05.034zbMATH Open1297.93114OpenAlexW2052405459MaRDI QIDQ466321FDOQ466321

Miao Liu, ShouGuang Wang

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

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

zbMATH Keywords

Petri netdeadlock preventioncircular wait

Mathematics Subject Classification ID

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

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 (1)

• 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)