Business Process Modeling Study Based On Improved Petri Nets

The business process modeling technology is the software technology which rose in 1990s.It became more and more accounted of people because it was used widely in OA, and other fields which need layout and enterprise management in these years. The main business process modeling tool is UML at present,UML(Unified Modeling Language) is a standard of OMG(Object Management Group). And UML is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a software system, as well as for business modeling and other non-software systems. The advantage of UML is powerful enough to specify software system model visually and efficiently. The disadvantage of it is lacking a formal semantics and difficult to apply, directly, mathematical techniques on UML models for system validation.With the appearance of concept about Petri net, the combination contained business process and petri bet is brought to the stage of modeling bit by bit. As a tool for software system modeling, Petri net has advantages: Allowing the modeling of concurrency, synchronization and resource sharing behavior of a system, and there are many theoretical results associated with petri nets for analysis of such issues detection and performance analysis. Petri nets offer a clean formalism for concurrency, however lack thorough modularization techniques. UML model offers formalism for highly reusable and modular systems, but lacks general concurrency features. So we can combine petri nets with UML model concepts to profit from the strengths of both approaches. The solution may be: let user design the UML, and validate it by converting it into the petri net.This paper we discuss a conversion rules of business process to petri net based on UML sequence diagram, and obtains one kind nimble and formulate UML sequence diagram model mapping and verification methods based on Petri net, and further tests on the UML model. In this paper the basic idea of UML sequence diagram model mapping and verification method based on Petri nets is improved sequence diagram on the basis of the traditional sequence diagram, Achieve the conversion, selectivity and synchronization when sequence diagram converts to petri nets. And the development a system of business process modeling and simulation based on petri net by delphi, and realize the model accurate examination and the dynamic business process simulation function by using return route examination and bidirectional examination algorithm, and at the end of the simulation, the simulator result can be showed by charts . Finally, it used an example for the system to test and simulation.