1. Using Petri nets to develop programs for PLC systems;Cutts,1992
2. Petri nets and Grafcet: Tools for modelling discrete event systems;David,1992
3. Error detection scheme for Petri net sequence controller;Dohi,1992
4. An incremental approach to logic controller design with Petri nets;Ferrarini;IEEE Transactions on Systems, Man and Cybernetics,1992
5. Ladder logic for sequence generation - A methodology;Henry;Measurement and Control,1988