Title :
Modeling and analysis of cycle schedule using Petri nets unfolding
Author :
Lee, Jong-Kun ; Korbaa, Ouajdi ; Gentina, Jean-Claude
Author_Institution :
Comput. Eng. Dept., Changwon Nat. Univ., Kyungnam, South Korea
Abstract :
We focus on the analysis of the cycle scheduling problem in FMS using unfolding time Petri nets after slicing off some sub-nets using the transitive matrix. We can change an iterated cycle module into an acyclic module without changing any other behavior property in Petri nets. We first show that properties can be studied through the unfolding nets concepts. A method to analyze and optimize the control of such systems is presented and explained on an example
Keywords :
Petri nets; flexible manufacturing systems; matrix algebra; optimisation; production control; FMS; acyclic module; cycle scheduling problem; flexible manufacturing systems; iterated cycle module; minimal invariant; transitive matrix; unfolding time Petri nets; Concurrent computing; Control systems; Explosions; Flexible manufacturing systems; Job shop scheduling; Manufacturing systems; Optimization methods; Petri nets; Processor scheduling; State-space methods;
Conference_Titel :
Systems, Man, and Cybernetics, 2001 IEEE International Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-7087-2
DOI :
10.1109/ICSMC.2001.972957
