Design and implementation of a Petri net based supervisor for a flexible manufacturing system

DOI10.1016/0005-1098(92)90061-JzbMath0775.93068MaRDI QIDQ1195811

Daryl L. Rudolph, Meng Chu Zhou, Frank DiCesare

Publication date: 4 January 1993

Published in: Automatica (Search for Journal in Brave)

Mathematics Subject Classification ID

93B51: Design techniques (robust design, computer-aided design, etc.)

Related Items

On the computation of natural observers in discrete-event systems, Erratum to ``Liveness of an extended S\(^{3}\)PR [Automatica 46 (2010) 1008-1018], Petri nets for the design and operation of manufacturing systems, Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources, A novel method for deadlock prevention of AMS by using resource-oriented Petri nets, A survey of siphons in Petri nets, An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets, A Petri net approach to investigating push and pull paradigms in flexible factory automated systems, Petri net models of flexible and automated manufacturing systems: a survey

Cites Work

• A method for stepwise refinement and abstraction of Petri nets
• Analysis of Petri nets by stepwise refinements
• A coordination theory for intelligent machines
• Nonlinear model simplification in flight control system design
• Generalized Petri Net Reduction Method
• Unnamed Item
• Unnamed Item
• Unnamed Item