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

DOI10.1016/J.AUTOMATICA.2012.01.012zbMATH Open1261.93056OpenAlexW1989064826MaRDI QIDQ445936FDOQ445936

Zhiwu Li, Ding Liu, 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

• Design and implementation of a Petri net based supervisor for a flexible manufacturing system
• Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems
• 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)