The modeling and performance analysis of the general production scheduling problem
Zuo Zhang, Zeng-Jin Han, Qiufeng Wu · 2002
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.