Using High-Level Petri Nets for Hierarchical Grid Workflows

An increasingly popular application programming model for Grids is to deploy often-used functionalities as remote services on high-performance hosts, following the principles of a service-oriented architecture. Complex applications are created by using several services and specifying a workflow between them. We discuss how workflows of Grid applications can be described easily as High-Level Petri Nets (HLPN), in order to orchestrate and execute distributed applications on the Grid automatically. In order to simplify the handling of complex and large-scale workflows, we introduce hierarchical Grid workflows, making use of the Petri Net refinement paradigm that allows to represent sub-workflows by single graph elements. We show how a complex application, the Barnes-Hut algorithm for N-Body simulation can be expressed as a hierarchical HLPN, using our platform-independent, XML-based Grid Workflow Description Language (GWorkflowDL). We discuss how the GWorkflowDL can be adapted to current Grid technologies, in particular to Java/RMI and the recent WSRF framework.

[1]  Sergei Gorlatch,et al.  A Grid Workflow Language Using High-Level Petri Nets , 2005, PPAM.

[2]  Douglas Thain,et al.  Distributed computing in practice: the Condor experience , 2005, Concurr. Pract. Exp..

[3]  Piet Hut,et al.  A hierarchical O(N log N) force-calculation algorithm , 1986, Nature.

[4]  Akhil Kumar,et al.  XML - Based Schema Definition for Support of Interorganizational Workflow , 2003, Inf. Syst. Res..

[5]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[6]  Akhil Kumar,et al.  XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows , 2004, Inf. Technol. Manag..

[7]  Michael Westergaard,et al.  CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets , 2003, ICATPN.

[8]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[9]  Sergei Gorlatch,et al.  Program Development for Computational Grids Using Skeletons and Performance Prediction , 2002, Parallel Process. Lett..

[10]  Steven Tuecke,et al.  The Physiology of the Grid An Open Grid Services Architecture for Distributed Systems Integration , 2002 .

[11]  Andreas Hoheisel,et al.  An XML-Based Framework for Loosely Coupled Applications on Grid Environments , 2003, International Conference on Computational Science.

[12]  Kurt Jensen,et al.  An Introduction to the Theoretical Aspects of Coloured Petri Nets , 1993, REX School/Symposium.

[13]  Rüdiger Valk,et al.  Petri Nets for Systems Engineering , 2003, Springer Berlin Heidelberg.

[14]  Dennis G. Kafura,et al.  Symphony - A Java-Based Composition and Manipulation Framework for Computational Grids , 2002, 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02).

[15]  Sergei Gorlatch,et al.  Towards High-Level Grid Programming and Load-Balancing: A Barnes-Hut Case Study , 2005, Euro-Par.

[16]  Anne H. H. Ngu,et al.  Enabling ScientificWorkflow Reuse through Structured Composition of Dataflow and Control-Flow , 2006, 22nd International Conference on Data Engineering Workshops (ICDEW'06).

[17]  Vipin Kumar,et al.  Scalable parallel formulations of the barnes-hut method for n-body simulations , 1994, Supercomputing '94.