A modeling and analysis methodology for modular logic controllers of machining systems using Petri net formalism

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 31, Issue 2, 2001, Pages 168-188

  Park, Euisu ^a,b   Tilbury, Dawn M ^a,b   Khargonekar, Pramod P ^a,c  

^a IEEE   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

^c University of Florida   (United States)

Author keywords

Fault diagnosis recovery control logic; Logic control; Machining systems; Modular logic controller; Petri nets (PNs); Reconfigurable manufacturing systems

Indexed keywords

FAULT DIAGNOSIS; LOGIC CONTROL; MACHINING SYSTEMS; MODULAR LOGIC CONTROLLERS; RECONFIGURABLE MANUFACTURING SYSTEMS; RECOVERY CONTROL LOGIC;

ACTUATORS; ALGORITHMS; COMPUTER INTEGRATED MANUFACTURING; FAILURE ANALYSIS; FEEDBACK CONTROL; MACHINING; MATHEMATICAL MODELS; MECHANISMS; MOTION CONTROL; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS; SENSORS;

CONTROL SYSTEM SYNTHESIS;

EID: 0035325557     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/5326.941841     Document Type: Article

References (45)

1. A science-base for reconfigurable manufacturing systems
2. Reconfigurable manufacturing systems: Key to future manufacturing
3. A methodology of specification and implementation of distributed discrete control systems
4. Universal machine control system primitives for modular distributed manipulator systems
5. A modular control system for flexible robotized manufacturing cells
6. Petri nets: Properties, analysis and applications
7. Petri nets for modeling of dynamic systems - a survey
8. Petri nets and industrial applications: A tutorial
9. A survey of Petri net methods for controlled discrete event systems
10. Principles and engineering of process control with Petri nets
11. Design and implementation of a Petri net based supervisor for a flexible manufacturing system
12. A hybrid methodology for synthesis of Petri net models for manufacturing systems
13. Hierarchical multi-layer CAD system for systematic design of complex logic controllers
14. A new approach to modular liveness analysis conceived for large logic controllers' design
15. An incremental approach to logic controller design with Petri nets
16. Specification and design of logic controllers for automated manufacturing systems
17. Petri net structural analysis for supervisory control
18. Designing logic controllers with Petri nets
19. Augmented timed Petri nets for modeling, simulation, and analysis of robotic systems with breakdowns
20. Adaptive design of Petri net controllers for error recovery in automated manufacturing systems
21. Petri nets for modeling automated manufacturing systems with error recovery
22. Fault detection and diagnosis of automated manufacturing systems
23. Cross-coupled biaxial computer control for manufacturing systems
24. The design of controllers for the multivariable robust servomechanism problem using parameter optimization methods
25. The simple approach to transfer line control
26. Modular logic controller for machining systems: Formal representation and performance analysis using Petri nets
27. A formal implementation of logic controllers for machining systems using Petri nets and sequential function chart
28. Grafcet: A powerful tool for specification of logic controllers
29. The analysis and optimization of repetition within robot workcell sequencing problems
30. Essentially decision free Petri nets for real-time resource allocation
31. Models of discrete event dynamic systems
32. Reduction and expansion of live and safe marked graphs
33. A science-base for reconfigurable machining systems vision with examples
34. Generalized kinematic modeling method for reconfigurable machine tools
35. On software implementation of Petri nets and colored Petri nets using high-level concurrent languages
36. Programmable logic controllers and Petri nets: A comparative study
37. Systematic method of realization of interpreted Petri nets
38. Hardware implementation of a multiprocessor system controlled by Petri nets
39. Hardware implementation of real-time Petri net-based controllers
40. A Petri net-based controller for flexible and maintainable sequence control and its applications in factory automation
41. Implementation of a Petri net controller for a machining workstation