By Topic

Synthesis of live models for a class of FMS

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

2 Author(s)
Ezpeleta, J. ; Dept. de Ingenieria Electr. e Inf., Zaragoza Univ., Spain ; Martinez, J.

The synthesis of live models for flexible manufacturing systems (FMSs) is discussed. A class of FMSs composed by a set of sequential processes competing for a set of common resources is considered. For modeling and analysis purposes, a special class of Petri net is considered, i.e., the class of systems of simple sequential processes with resources, that has a practical interest in FMS environments. This class of models has a special property. If for a reachable marking there is a nonlive transition, then an empty siphon exists. This property is used in order to implement a control policy in the initial model assuring that the final model is live. One of the advantages of this control policy is that it can be implemented by means of the addition of new Petri net elements to the model

Published in:

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

Date of Conference:

2-6 May 1993