Comments on ``Liveness of an extended S^3 PR, [automatica 46 (2010) 1008-1018]
From MaRDI portal
Publication:466321
DOI10.1016/J.AUTOMATICA.2014.05.034zbMATH Open1297.93114OpenAlexW2052405459MaRDI QIDQ466321FDOQ466321
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
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
Cited In (4)
- Author's reply to: ``Counterexamples to: `Liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods' by X. Xia and A. Giua
- 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
- 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)