Collaboration System And Eliminate Confusion Based On The Extended Petri Net

As to known that Petri Nets is a tool of system for modeling , describing and analyzing. It is always used to construct the system concerning concurrent, asynchronous, parallel, uncertain and random. Furthermore, the structure and dynamic behaviors of the properties can be obtained and analyzed. It has not only behalf on the graphically description, but also has the strict mathematical foundation.It is not convenient to describe the real-life using Petri Nets because sometimes it can not correctly check the tokens in place. An extended Petri Nets with inhibitor arc and permissive arc based on the general Petri Nets is built to overcome the deficiency.The system in practice is usually concurrent and uncertain. Single system can not tackle the complex problem and waste time. The collaboration system is necessary.It is difficult to assign the tasks and the fairness is neglected in traditional collaboration system. There is no way to recover the fault.In this dissertation, a new collaboration system without center control is proposed by extended Petri Nets. It is concerning the interrupt technology and fault recovery. Taking advantage of structure analyzing and modeling technology, its properties are discussed in the following. We also show that the model can deal with multi-task and fairness, have more effective than others. Some results are proven in this dissertation.Within Petri theory concurrency and conflict have a common condition. Confusion can arise when there is a mixture of concurrency and conflict. The conflict can be captured and controlled by the external environment. However, the conflict of systems cannot be explored within confusion. The causes of confusion is that in terms of non-determinism whereas in the finer truly concurrent. For such systems, testing alone is inadequate as it can only detect errors not verify their absence. Rather, we must prove that the system containing no confusion. It is very necessary to eliminate confusion of the general Petri Net model. Furthermore, three basic structure of the confusion in Extended Petri Nets are discussed and some properties are presented. The correctness of those results are proven. By eliminating confusion of the general Petri Net,the model can be used in more field.And the WF-net model can be verified by the conclusion.