Abstract
Current research in flexible automation indicates that ladder logic diagrams (LLDs) are inefficient to develop control software and difficult to debug and maintain. To overcome the disadvantages of LLDs, Petri nets (PNs) were developed and demonstrated as an effective tool for logic controller design by several researchers and industrial practitioners. One critical task in this development is to design Petri net models given the sequence control specifications. Development of such PN model is the first step to develop Petri net based sequence controllers. There exists systematic design procedures for designing ladder logic diagrams. However, for the large scale application of PNs in industry, there is a need for systematic design procedures for developing PN models. This paper presents a simple conversion procedure to formulate PN models from a given logic control specification.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 3469-3474 |
| Number of pages | 6 |
| Journal | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
| Volume | 4 |
| State | Published - 1995 |
| Event | Proceedings of the 1995 IEEE International Conference on Systems, Man and Cybernetics. Part 2 (of 5) - Vancouver, BC, Can Duration: Oct 22 1995 → Oct 25 1995 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Hardware and Architecture