Title :
The modeling and performance analysis of the general production scheduling problem
Author :
Zhang, Zuo ; Han, Zeng-jin ; Wu, Qiu-feng
Author_Institution :
Dept. of Autom., Tsinghua Univ., Beijing, China
Abstract :
This paper develops a modular modeling method for the general production scheduling problem (GPSP), which is of obvious hybrid dynamics. The method consists of 3 parts, i.e. Petri net (PN) describing the real-time process layer of GPSP, a scheduling-state-place- and inhibitory-arc-included Petri net (SIPN) describing the interface-transfer layer, and Grafcet model describing scheduling decision-making layer. This paper proved that the decidability of a GPSP is equivalent with the liveness of its SPN and IPN model
Keywords :
Petri nets; decidability; production control; Grafcet model; SIPN; general production scheduling problem; hybrid dynamics; inhibitory-arc-included Petri net; interface-transfer layer; modular modeling; performance analysis; real-time process; scheduling decision-making layer; scheduling-state-place-included Petri net; Automation; Batch production systems; Continuous production; Control systems; Decision making; Dynamic scheduling; Performance analysis; Processor scheduling; Real time systems; Resource management;
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-3280-6
DOI :
10.1109/ICSMC.1996.571159
