By Topic

A Petri net design method for automated manufacturing systems with shared resources

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
$33 $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

2 Author(s)
M. C. Zhou ; Rensselaer Polytech. Inst., Troy, NY, USA ; F. DiCesare

Two concepts are formulated: parallel and sequential mutual exclusion (SME) in the context of Petri net theory. The conditions under which a net containing such structures is bounded, live, and reversible are derived, and they are used to construct the Petri net models for a practical manufacturing system. The sufficient conditions for a Petri net to be live and reversible include that the number of initial tokens in each place be less than or equal to the token capacity of an SME and that the net without this SME be live and reversible

Published in:

Robotics and Automation, 1990. Proceedings., 1990 IEEE International Conference on

Date of Conference:

13-18 May 1990