On the Use of Meta-Modelling and Graph Grammars to Generate Petri Nets Models for Business Processes

(*) Corresponding author

Authors' affiliations

DOI's assignment:
the author of the article can submit here a request for assignment of a DOI number to this resource!
Cost of the service: euros 10,00 (for a DOI)


In business process modeling, there are several potential control flow problems that, if not detected prior to workflow deployment may lead to control flow anomalies and behavioral inconsistencies like deadlock, livelock, imperfect termination, and multiple task repetitions. Petri Nets provide a powerful formal modeling method based on solid mathematical fundament while having graphical representation of system models as net diagrams and provide various analysis techniques such as reachability tree, incidence matrix and invariant analysis method, through which properties of the Petri Net model such as liveness, reachability and deadlock can be analyzed. Since business processes and Petri net models are graphs, Meta-Modeling and Graph grammars seems to be a natural way to transform business processes to their equivalent Petri nets models. In this paper we propose an  automatic approach based on Meta-Modeling and Graph grammars to generate Petri net models for business processes using AToM3. The approach is illustrated through an example.
Copyright © 2015 Praise Worthy Prize - All rights reserved.


AToM3; Business Process Modeling; Petri nets; Meta-Modeling; Graph grammars

Full Text:



E. Sivaraman and M.Kamath, “On The Use of Petri Nets for Business Process Modeling”, Proceeding of the 11th Annual Industrial Engineering Research Conference, Orlando, FL., May 2002.

J. de Lara, H. Vangheluwe, ATOM3: A Tool for multi-formalism and meta-modeling, LNCS No 2306, 2002.

Wil M.P. van der Aalst, Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques, In Aalst, W.M.P., Desel, J., and Oberweis, A., editors, Business Process Management – Models, Techniques, and Empirical Studies, volume 1806 of Lecture Notes in Computer Science, pages 161–183. Springer-Verlag, 2000.

Wil M.P. van der Aalst, Arthur H.M. ter Hofstede, and Mathias Weske Business Process Management: A Survey, Lecture Notes in Computer Science 2678 Springer 2003, ISBN 3-540-40318-3 2003.

Mendling, J., N¨uttgens, M., und Neumann, G.: A Comparison of XML Interchange Formats for Business Process Modelling. In: Proceedings of EMISA 2004 – Information Systems in E-Business and E-Government. LNI. 2004.

J. Desel and J. Esparza, Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995.

T. Murata, “Petri Nets: Properties, Analysis, and Applications”. Proceedings of the IEEE, 77(4):541–580, 1989.

AGG home page: http://tfs.cs.tu-berlin.de/agg/

Python home page: htpp://www.python.org

P.H. Starke and S. Roch, “INA: Integrated Net Analyzer”, 2003.

S; White, Business Process Notation and Workflow Patterns, BPTrends, March 2004.


  • There are currently no refbacks.

Please send any question about this web site to info@praiseworthyprize.com
Copyright © 2005-2023 Praise Worthy Prize