Build Design Patterns Based On Object-Oriented Colored Petri Net

Models of large-scale complex systems are often in the form of decomposition through the system to build. Many approach of system model builder can only build a static model, does not provide the system model simulation, once the model appears problem, we have to modify the entire system. Object-oriented technology puts forward a lot of excellent design patterns for system modeling,provides a good support for system modeling, but these design patterns are also static, can not support the model simulation. Therefore, providing a right to build the model simulation is very necessary.This paper first analyzes the advantages and disadvantages and problems of the various modeling methods based on Petri net; then proposed a method based on extended Petri nets and object-oriented technology to building the system, namely, object-oriented colored Petri net model,and given the formal definition of the model and analyzes the characteristics of model object subnet; and then making use of the object-oriented colored Petri net model built of 12 kinds of commonly used design patterns; finally, this method is validated by an example of the production of micro-computer.Object-oriented colored Petri net integrates the advantages of both colored Petri nets and object-oriented technology. Colored Petri net is a kind of good graphical mathematical tool built on the basic Petri net, it retained the properties of the basic Petri net to support the strict mathematical sense analysis calculation and graphical simulation, can be used to build system model, and to analyze and test the model. In addition, due to the introduction of the color features, the colored Petri net has more powerful ability to express and solve the problem of state space explosion and maintenance, so it can be used to build large and complex system model. Object-oriented technology is characterized by abstract, encapsulation, modularity and reusability, and provides a large number of excellent design patterns. Therefore, object-oriented colored Petri net can be used to build system models, while providing the model simulation and the validation of nature, not only reduces the complexity of system modeling, but also enhances verifiable and reusability of the model.