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

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

Daryl L. Rudolph, Meng Chu Zhou, Frank DiCesare

Publication date: 4 January 1993

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0005-1098(92)90061-j

Mathematics Subject Classification ID

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

Related Items (9)

An enhanced supervisory control strategy for periodicity mutual exclusions in discrete event systems based on Petri nets ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Erratum to ``Liveness of an extended S\(^{3}\)PR [Automatica 46 (2010) 1008-1018] ⋮ 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 ⋮ On the computation of natural observers in discrete-event systems ⋮ 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

This page was built for publication: Design and implementation of a Petri net based supervisor for a flexible manufacturing system