Abstract
Petri nets have been extensively applied for specification, design, verification, performance evaluation, and simulation of discrete event control systems (DECS). This paper proposes a real-time stage Petri net (RTSPN), to represent the stage programming of a programmable logic controller (PLC) for DECS. The new technique is able to simplify the design process of the complex PLC program without considering the interlocking problem within the ladder diagram. An illustrated example is used to explore the new methodology. The proposed method contains the power and flexibility of the Petri net analysis. It is believed that this technique is significant for the industry practice.
Original language | English (US) |
---|---|
Pages (from-to) | 1907-1912 |
Number of pages | 6 |
Journal | Proceedings - IEEE International Conference on Robotics and Automation |
Volume | 2 |
DOIs | |
State | Published - 2002 |
All Science Journal Classification (ASJC) codes
- Software
- Artificial Intelligence
- Electrical and Electronic Engineering
- Control and Systems Engineering