Dynamic Properties Judgments Of Colored Petri Nets And Application In The Assembly Line

Colored Petri nets as a kind of special Petri nets model language especially are suitable for the system that concurrency, synchronization and resource sharing plays the leading role. It combines process interoperability characteristics of the general Petri nets and data type's definition and data processing ability of high-level programming languages. CPNs have more formal formalized definition and its interpretation, but also include a series of dynamic behavior properties.Petri nets are very useful tools for event-driven system modeling. These systems can be asynchronous, may include sequence and parallel operation, and may involve conflict, mutex and uncertain. Colored Petri nets enhanced Petri nets description of the system. The state space analysis and performance analysis are two important technologies to analyze the process of production using CPNs. Generally, in order to facilitate state space analysis, first, modify CPNs model that needs analysis, and then get a CPNs model that contains finite state space.Although the state space analysis is one of the two important technologies to analyze the process of business, but how to theoretically determine dynamic properties of CPNs by the state space analysis, the research of this aspect is still rare, In this paper, theoretically studied the methods to determine various dynamic properties of CPNs by state space analysis thus provided theoretical basis for manual validation of various dynamic properties of CPNs. In addition, in this paper realize assembly line model by CPNs formalization ways, in order to provide a consistent, simple, effective, and fully formal methods to express logical relationship that exist in assembly production process. The ultimate goal is to achieve:1) improve efficiency of study of assembly line system from the angle of realization,2) improve the comprehensibility and maintainability of system. Finally, validate dynamic properties of model through the analysis of state space, then get the analysis result of behavior properties.