| With the development of science and technology, the way of people managing business processes in traditional enterprises has been difficult to adapt to the environment, so the emergence of workflow technology provides a new approach to improve the efficiency of enterprises. In the researching process, the workflow technology has been used in more fields such as finance, education and health care. If an enterprise wants to choose a suitable product with superior performance, detailed comparison is needed. In all aspects of performance contrast, whether the workflow pattern is supported by the product, which reflects the ability of modeling, is an important reference. Classic Petri net is often used to describe the workflow model. It can’t describe complex patterns, such as senior branch and synchronous mode.This thesis mainly focuses on whether workflow products support the workflow model in the situation of cloud workflow. On the one hand, the biggest advantages of cloud computing are Allocating on Demand and good scalability. On the other hand, the senior branch synchronous structure of workflow model is a critical point which contrasts many workflow products in terms of performance. It is the most often used model of cloud workflow. It can be used to achieve the relatively complex multi-branch and the Synchronizing Merge.The thesis mainly consists of the following three aspects. First, the thesis researches the technology of cloud workflow model building, which is based on extensional Petri net. The senior branch synchronous mode in workflow plays a very important role in the process of cloud workflow model building. The thesis extends the definition of classical Petri net, in order to make it able to sustain all the fourteen senior branch synchronous modes and to tackle the problem that the expression ability of classical Petri net is deficient in terms of model building. Second, the thesis researches the method of verifying whether it is correct after cloud workflow model is transformed into Petri net model. Whether the model structure is correct is very important to the whole process of workflow model building. After researching the method of verifying whether classical Petri net model is correct, the thesis puts forward a method of verifying whether another model structure, which is based on Petri net reachability graph, is correct. And the method will be used to verify whether Petri net model is correct through the example of train ticket booking. Third, the thesis researches the analyzing method of Petri net model’s time performance. This chapter introduces four basic structures in workflow model, and workflow model’s time performance equivalent simplified model and equivalent formula which are reflected in Petri net. After transforming a workflow example described by JBPM into correspondent Petri net model, with the Time performance equivalent analytical method which is based on Petri net model, we compared the workflow model’s time efficiency in two different situations. Then with the result of comparison, we make a conclusion. |
