Abstract
Petri nets have been extensively applied for specification, design, verification, performance evaluation, and simulation of the DECS. A real-time Petri net is a further improvement over timed Petri net. It is aimed for both control and simulation of the system under study. This paper proposes to use a real-time Petri net to represent the stage programming of a programmable logic controller for a discrete-event control system. An illustrated example is used to explore the Petri net-based PLC stage programming methodology.
Original language | English (US) |
---|---|
Pages (from-to) | 2706-2710 |
Number of pages | 5 |
Journal | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
Volume | 4 |
DOIs | |
State | Published - 2001 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Hardware and Architecture
Keywords
- Discrete-event control system
- Ladder logic diagram
- Petri nets
- Programmable logic controller
- Real-time petri nets
- Stage programming