Title :
Reduction of timed marked graphs and its applications to manufacturing systems
Author_Institution :
Dept. of Electr. & Comput. Eng., New Jersey Inst. of Technol., Newark, NJ, USA
Abstract :
Marked graphs are an important class of Petri nets for modeling asynchronous concurrent systems. Their reduction theory has been well established. To evaluate the cycle time and other performance measures, their places and/or transitions can be associated with deterministic timing information. Analytical formulas are well known based on all loops in the graph. They have been used to derive the cycle time of a shop-floor production system, a robotic assembly system, and a flexible manufacturing system cell. It is observed that a marked graph model grows with the system size and results in a complexity problem to find all the loops inside the model. To challenge this problem, the paper proposes a reduction theory and algorithm for timed marked graphs. Thus the stepwise reduction of timed marked graphs can be performed efficiently. This method has been used to evaluate a flexible manufacturing system (FMS) cell
Keywords :
Petri nets; computational complexity; flexible manufacturing systems; Petri nets; asynchronous concurrent systems; complexity problem; cycle time; deterministic timing information; flexible manufacturing system cell; performance measures; reduction theory; robotic assembly system; shop-floor production system; timed marked graphs; Application software; Circuits; Delay; Flexible manufacturing systems; Manufacturing systems; Petri nets; Production systems; Robotic assembly; Time measurement; Timing;
Conference_Titel :
Robotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-5330-2
DOI :
10.1109/ROBOT.1994.351390