Design of discrete event control systems for programmable logic controllers using T-Timed Petri nets

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 des...

Full description

Saved in:
Bibliographic Details
Published in:1996 IEEE International Symposium on Computer-Aided Control System Design pp. 212 - 217
Main Authors: Jones, A.H., Uzam, M., Ajlouni, N.
Format: Conference Proceeding
Language:English
Published: IEEE 1996
Subjects:
Automatic control
Control systems
Counting circuits
Industrial control
Logic design
Logic programming
Petri nets
Programmable control
Programmable logic arrays
Programmable logic devices
ISBN:0780330323, 9780780330320
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISBN:0780330323
9780780330320
DOI:10.1109/CACSD.1996.555283