By Topic

Petri net synthesis and analysis of a flexible manufacturing system cell

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

3 Author(s)
M. Zhou ; New Jersey Inst. of Technol., Newark, NJ, USA ; K. McDermott ; P. A. Patel

The modeling and analysis of a flexible manufacturing system (FMS) cell using Petri nets is presented. In order to illustrate how a Petri net with desirable properties can be constructed, the detailed synthesis process for this cell is described. During the process, top-down refinement, system decomposition, and modular composition ideas are used to achieve the hierarchy and preservation of important system properties. These properties include liveness, boundedness/safeness, and reversibility that guarantee the system to operate in a stable, deadlock-free, and cyclic manner. Furthermore, the analysis of a timed Petri net for cycle time is presented. The timed Petri net is first converted into an equivalent timed marked graph by a reduction technique. Then the standard procedure to find the cycle time for marked graphs is applied

Published in:

IEEE Transactions on Systems, Man, and Cybernetics  (Volume:23 ,  Issue: 2 )