Title :
Design of discrete event control systems for programmable logic controllers using T-Timed Petri nets
Author :
Jones, A.H. ; Uzam, M. ; Ajlouni, N.
Author_Institution :
Res. Inst. for Design, Manuf. & Marketing, Salford Univ., UK
Abstract :
As automated manufacturing systems become more complex, the need for an effective design tool to produce both a high level discrete event control system (DECS) and a low level ladder logic implementation, becomes increasingly more important. Petri nets represent the most effective method for the design of such DECSs. The conversion of such Petri net controllers into ladder logic has been greatly simplified through the advent of the token passing logic methodology. The new technique provides a straightforward but powerful method by which to implement ladder logic code. In this paper the fundamental T-Timed Petri net structures and their associated ladder logic equivalents are described. Finally, the design of a DECS for a manufacturing system is considered. A heuristic Petri net controller is developed for the manufacturing system, and then the methodology is used to derived structured ladder logic code
Keywords :
Petri nets; control system CAD; discrete event systems; formal logic; heuristic programming; industrial control; programmable controllers; Petri net controllers; T-Timed Petri nets; automated manufacturing systems; control system CAD; discrete event control systems design; heuristic Petri net controller; ladder logic code; low level ladder logic; programmable logic controllers; token passing logic methodology; Automatic control; Control systems; Counting circuits; Industrial control; Logic design; Logic programming; Petri nets; Programmable control; Programmable logic arrays; Programmable logic devices;
Conference_Titel :
Computer-Aided Control System Design, 1996., Proceedings of the 1996 IEEE International Symposium on
Conference_Location :
Dearborn, MI
Print_ISBN :
0-7803-3032-3
DOI :
10.1109/CACSD.1996.555283