By Topic

Control logic generation for machining systems using Petri net formalism

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Park, E. ; NSF Eng. Res. Center, Michigan Univ., Ann Arbor, MI, USA ; Tilbury, D.M. ; Khargonekar, P.P.

The logic controller for a machining system is a discrete event supervisory system. In high volume transfer lines, it consists of three control modes: auto, hand, and manual. A logic controller can achieve the goal of a machining system by its control logic. The paper addresses a formal Petri net representation of the control logic and its implementation. The control logic is represented by two Petri net models: one for the mode decision control logic and the other for the sequence control logic. Because the Petri net models are live, safe, and reversible, the actual logic control program can be generated directly from the Petri net models by using IEC1131-3 programming languages

Published in:

Systems, Man, and Cybernetics, 2000 IEEE International Conference on  (Volume:5 )

Date of Conference: