Erratum to ``Liveness of an extended S^3PR [Automatica 46 (2010) 1008-1018]

DOI10.1016/J.AUTOMATICA.2012.01.012MaRDI QIDQ445936zbMATH OpenOpenAlexFDO

Authors Ding Liu, Zhiwu Li, MengChu Zhou

Publication date 27 August 2012

Published in Automatica (Search for Journal in Brave)

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

zbMATH Keywords

Petri netspolynomial algorithmsdeadlock preventionflexible manufacturing system (FMS)circular 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
• Design and implementation of a Petri net based supervisor for a flexible manufacturing system
• Liveness of an extended S\(^{3}\)PR

Cited in

(1)

• Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis

This page was built for publication: Erratum to ``Liveness of an extended S\(^{3}\)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 Q445936)