Structural analysis and control of resource allocation systems using petri nets
Structural analysis and control of resource allocation systems using petri nets
An acyclic transformation technique for the reachability analysis of petri nets
An acyclic transformation technique for the reachability analysis of petri nets
Methods for the supervisory control of concurrent systems based on petri net abstractions
Methods for the supervisory control of concurrent systems based on petri net abstractions
On the analysis of some structural properties of Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.00 |
In this paper, a Petri net-based logic and sequence control model of photo mask transport was constructed. A characteristic analysis was made on the established Petri net model in behavior and structure. This checked the safeness and reliability of the constructed control model off line. In order to implement the Petri net-based control model of photo mask transport via a Programmable Logic controller (PLC), an approach was proposed to generate Ladder Logic Diagram (LLD) programs from the Petri net-based control model. Execution of the generated LLD programs validated the effectiveness of the proposed method.