Petri Net Model of Manufacturing Systems
生产系统的Petri网模型

System modelling is presented in this paper, especially for the system that needs resolution. When a manufacturing system is modelled by stochastic Petri net, it is possible to use stepwise refinement. Examples of the performance model are showed to verify the enhancement of the applicability of nets. Two net controllers are constructed to demonstrate the method introduced in the paper. Finally, an intelligent scheduling and control net model is given.