Skip to main content
SpringerLink
Log in

Petri net based Grid workflow verification and optimization

  • Published:
The Journal of Supercomputing Aims and scope Submit manuscript

Abstract

Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking. In this paper, based on Petri net, we propose a service composition oriented Grid workflow model and its related six elementary workflow patterns: sequence, condition, iteration, concurrency, synchronization, and triggering. In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization. The experimental results show that our workflow verification and optimization mechanisms are feasible and efficient.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Foster I, Kesselman C, Tuecke S (2001) The anatomy of the Grid: enabling scalable virtual organizations. Int J High Perform Comput Appl 15:200–222

    Article  Google Scholar 

  2. Foster I, Kishimoto H, Savva A, Berry D et al. (2005) The open Grid services architecture, version 1.50. Available: http://forge.Gridforum.org/projects/ogsa-wg

  3. Grønmo R, Solheim I (2004) Towards modeling web service composition in UML. In: Proceedings of 2nd international workshop on Web services: modeling, architecture and infrastructure, Porto, Portugal

    Google Scholar 

  4. Hall R, Rosenberg AL, Venkataramani A (2007) A comparison of DAG-scheduling strategies for Internet-based computing. In: Proc 22nd international parallel and distributed processing symposium (IPDPS)

    Google Scholar 

  5. Jin H (2004) ChinaGrid: making Grid computing a reality. In: Proceedings of international conference of Asian digital libraries, Shanghai, China. Lecture notes in computer science, vol 3334. Springer, Berlin, pp 13–24

    Google Scholar 

  6. Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, Liu K, Roller D, Smith D, Thatte S, Trickovic I, Weerawarana S (2003) Business process execution language for web services version 1.1. BEA Systems, IBM Corporation, Microsoft Corporation, SAP AG, Siebel Systems

  7. Jüngel M, Kindler E, Weber M (2000) The Petri net markup language. Algorithmen und Werkzeuge für Petrinetze (AWPN). Koblenz

  8. Petri CA (1962) Kommunikation mit Automaten. PhD thesis, Institut für instrumentelle Mathematik, Bonn

  9. van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8:21–66

    Article  Google Scholar 

  10. van der Aalst WMP (1997) Verification of workflow nets. In: Application and theory of Petri nets. Lecture notes in computer science, vol 1248. Springer, Berlin, pp 407–426

    Google Scholar 

  11. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11:173–184

    Article  Google Scholar 

  12. Murata T (1989) Petri nets: properties, analysis and applications. In: Proceedings of the IEEE, vol 77, pp 541–580

    Google Scholar 

  13. van der Aalst WMP, ter Hofstede AHM, Kiepuszewski B, Barros AP (2002) Workflow patterns. QUT technical report, FIT-TR-2002-02, Queensland University of Technology, Brisbane

  14. Geeraerts G (2007) Coverability and expressiveness properties of well-structured transition systems. PhD thesis, Universit’e Libre de Bruxelles, Belgium

  15. Finkel A, Geeraerts G, Raskin JF, Van Begin L (2005) A counter-example the the minimal coverability tree algorithm. Technical report 535, Universit’e Libre de Bruxelles

  16. Stahl C (2005) A Petri net semantics for BPEL. Technical report, Humboldt-Universität zu Berlin

  17. Ouyang C, Verbeek E, van der Aalst WMP, Breutel S, Dumas M, ter Hofstede AHM (2005) Formal semantics and analysis of control flow in WS-BPEL. Technical report (revised version), Queensland University of Technology

  18. Mantell K (2010) From UML to BPEL: model driven architecture in a web services world. IBM. Available: http://www-128.ibm.com/developerworks/webservices/library/ws-uml2bpel/

  19. Thain D, Tannenbaum T, Livny M (2004) Distributed computing in practice: the Condor experience. Concurr Comput 17:2–4

    Google Scholar 

  20. Ouyang C, Verbeek E, van der Aalst WMP, Breutel S, Dumas M, ter Hofstede AHM (2005) WofBPEL: a tool for automated analysis of BPEL processes. In: Proceedings of the 3rd international conference on service–oriented computing. Lecture notes in computer science, vol 3826. Springer, Berlin, pp 484–489

    Google Scholar 

  21. Sadiq W, Orlowska ME (2000) Analyzing process models using graph reduction techniques. Inf Syst (Oxf) 25(2):117–134

    Article  Google Scholar 

  22. ImageMagick (2010) Available: http://www.imagemagick.org/

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Xi’an Jiaotong University, Xi’an, 710049, China

    Haijun Cao

  2. Services Computing Technology and System Lab, Cluster and Grid Computing Lab, School of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan, 430074, China

    Haijun Cao, Hai Jin, Song Wu & Shadi Ibrahim

Authors
  1. Haijun Cao
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hai Jin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Song Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Shadi Ibrahim
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Hai Jin or Song Wu.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cao, H., Jin, H., Wu, S. et al. Petri net based Grid workflow verification and optimization. J Supercomput 66, 1215–1230 (2013). https://doi.org/10.1007/s11227-011-0668-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11227-011-0668-3

Keywords

Search

Navigation