Research On Simulation And Reachability Graph Based On Process Networks

With the development of concurrent communication, Petri net has got more and more attention. More and more related research is increasing. Although Petri net has been widely applied in many fields, such as the manufacturing system, communication network, and integrated digital circuit and so on, its problem about lack of structure and the lack of composability, and modeling of complex system node explosion problem that can’t been ignore. As a process of interaction between basic means process algebra is composability. But it lack of graphic expression. The Petri net and the combination of process algebra research field have caught the interest of many researchers. The literature[9,10] Put forward using Petri net components as structure model of algebraic expressions, only provides interface:TopPlace and BottomPlace. Complicated Petri net can be modeling through a variety of operators. With the general rules of Petri net operation, it was called Process Net. Process network can accurately describe the basic communication and common control structure, communication through six operator combination.This title based on the process of network system, modify the components of the process modeling tool--PrnTools. Changed six type composition operators (Order combination, loop combination, the combination of choice, fully concurrent combination, the synchronous/asynchronous concurrent combination), added a deeper internal logical structure. In addition, beautify PrnTools software, add Token for Place, realize the change from static to dynamic. Also increased the position rearranges function to elements.On this basis, this subject completed the function of simulation and reachability graph automatically generated. Judge firing components, design the firing and virtual firing algorithm, record state diagram is put forward and the internal logical structure and recording of figure, design the graphical representation of reachability graph.The experimental results show that PrnTools’s function is achieved; this topic effectively realized process net’s simulation and reachability graph technology.