The analysis on grid workflow’s deadlock by Petri Nets

In the gird environment, grid workflow can carry on grid application conveniently, and it can improve the performance and efficiency of the grid application, but it may be referred to deadlock problem during its execution in operation process. There are a lot of modelling and analysis tools available for workflow, but Petri net is more preferable because of its solid mathematical foundation and graphical nature. After analysing the difference between grid workflow and traditional workflow, the grid workflow is modelled by D-Petri net, and deadlock detection algorithm based on reachable-graph is adopted to carry on deadlock detection on the grid workflow. Finally, verification is carried on the instance of software test workflow in the grid environment.