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

Automatica

Volumn 28, Issue 6, 1992, Pages 1199-1208

  Zhou, Meng Chu ^a   Dicesare, Frank ^b   Rudolph, Daryl L ^c  

^a NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^b Department of Electrical   (United States)

^c AT and Bell Laboratories Naperville ^*  (United States)

Author keywords

Discrete event system; flexible manufacturing; Petri net; supervisory control; synthesis methods

Indexed keywords

CONTROL; PETRI NETS; ROBOTIC ASSEMBLY;

MACHINING WORKSTATIONS; PETRI NET BASED SUPERVISOR; PETRI NET DESCRIPTION LANGUAGE; SUPERVISORY CONTROL;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0026953728     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/0005-1098(92)90061-J     Document Type: Article

References (32)

1. A synthesis rule for concurrent systems
2. Petri nets in automation and manufacturing
3. Use of physical simulation in the instruction of flexible manufacturing systems
4. A programmable logic controller based on a high level specification tool
5. Implementation of a Petri net controller for a machining workstation
6. Real-time control of multilevel manufacturing systems using colored Petri nets
7. Synthesis of place/transition nets for simulation and control of manufacturing Systems
8. Generalized Petri Net Reduction Method
9. Modeling, validation and software implementation of production systems using high level Petri nets
10. A Petri net based controller for flexible and maintainable sequence control and its applications in factory automation
11. Coordination control of flexible manufacturing systems using coloured Petri nets
12. Petri nets: properties, analysis and application
13. A Petri net approach to the modeling and analysis of flexible manufacturing systems
14. Petri net-based control of a flexible manufacturing system
15. Programmable logic controller and Petri nets: a comparative study
16. Toward a synchrony theory for P/T nets
17. A method for stepwise refinements and abstractions of Petri nets
18. Analysis of Petri nets by stepwise refinements
19. Control of flexible production systems and Petri nets
20. Putting Petri nets to work for controlling flexible manufacturing systems
21. A coordination theory for intelligent machines
22. Development of a physical simulator for a flexible manufacturing system
23. Adaptive design of Petri net controllers for error recovery in automated manufacturing systems
24. A top-down modular approach to synthesis of Petri net models for manufacturing systems
25. Computer-aided design of discrete event dynamic systems
26. A theory for the synthesis and augmentation of Petri nets in automation
27. Modeling buffers in automated manufacturing systems using Petri nets
28. Modeling and performance analysis of a flexible PCB assembly station using Petri nets
29. Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems
30. A Hybrid methodology for synthesis of Petri net models for manufacturing systems