The research of manufacturing execution system modeling based on colored Petri nets

Manufacturing execution system (MES) is defined as a system towards the level of workshop management between the schemed management system on the upper level and industrial control on the bottom level. MES is aimed at the workshops. Moreover, the workshops, acting as the manufacturing center of the enterprises, are not only the executor of production tasks, but also the feed backer of production information. Furthermore, they are distributing center of living manufacturing information. Consequently, the management of workshops, logistics management, and information integration on the level of workshops are key points in the industrially information integration. But MES is the complex DEDS (Discrete event dynamic system), there are many random factors and unstructured problems in it. Therefore it cannot be depicted by accurate formalization methods. Petri nets is the graphic modeling tool, and it can accurately depict the relation in events such as Sequence, Concurrent, Synchronization, etc. So it is the powerful tool for modeling and analyzing DEDS. Colored Petri nets is a kind of high level net system which is adopted for modeling DEDS by this paper. It can greatly reduce the complexity of system model and analyzing the performance of model, and solve the problem of model such as Deadlock, conflict, etc.