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

DOI10.1016/J.AUTOMATICA.2012.01.012zbMath1261.93056OpenAlexW1989064826MaRDI QIDQ445936

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

Related Items (1)

Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis

Cites Work

• Liveness of an extended S\(^{3}\)PR
• 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

This page was built for publication: Erratum to ``Liveness of an extended S\(^{3}\)PR [Automatica 46 (2010) 1008-1018]