Properties Of Operations For Petri Nets

As a kind of tool for system modeling and analyzing, Petri nets are widely used. However, it costs too much (time and space) to analyze a large and complicated system if we use the original Petri net model of system as the analysis object. So it is often necessary to compose a large, complicated system from some small, simple ones with the essential properties preserved, or to decompose a complicated Petri net into some simple ones under the condition about preserving some properties of Petri net. Undoubtedly, all these methods are useful for analyzing large systems. Some net operations, such as addition, Cartesian addition, Cartesian production and general Cartesian production of weighted net systems, were presented in some papers, and union operation, decomposition operations were given in others. The conditions for preserving structural and dynamic properties of the net after these operations were discussed. Some net operations are further studied in this thesis. Union operation is analyzed and one example is given to make the background and meaning clearly for net decomposition operations. At the same time union and addition decomposition are mainly discussed.