In: Acta Automatica Sinica, Vol. 19, No. 3. 1993. In Chinese.
Also in: Allerton Press, Inc., New York, USA. 1994. English translation.
Abstract: System modelling is presented in this paper, especially for the systems requiring resolutions. When a manufacturing system is modelled with a stochastic Petri net it is possible to use the principle of step-wise refinement. Some examples are shown to enhance the applicability of the nets. Two net controllers are constructed to demonstrate the method introduced. As a result of model intellectualization study, an intelligent scheduling and control net model is drawn.