Construction of Petri net based mathematical models of an FMS cell

The authors present the modeling and analysis of a flexible manufacturing system (FMS) cell using Petri nets. To illustrate how a Petri net with desirable properties can be modeled, they describe the detailed modeling process for this cell. During the process, top-down refinement, system decomposition, and modular compositions ideas are used to achieve the hierarchy and preservation of important system properties. These properties include liveness, boundedness, and reversibility. 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. Then the standard procedure to find the cycle time for marked graphs is applied