BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer

  • Ulrich Winkler
  • Mathias Fritzsche
  • Wasif Gilani
  • Alan Marshall
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7349)


Petri-Nets are a very expressive modelling concept. However, modelling industrial problems using Petri-Nets is not a trivial task as Petri-Nets do not provide support for constructing large models. Modelling a complete business process, for example, with several activities and associated resources using Petri-Nets becomes a complex task. Model transformations are a promising technology to address this problem. In this paper we present an extended Petri-Net model that supports modelling industrial problems via model transformations. We also introduce a transformation framework that allows to graphically define model transformations by templates.


Business Process Model Transformation Beam Module Java Code Graphical Editor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Fehling, R.: A Concept of Hierarchical Petri Nets with Building Blocks. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol. 674, pp. 148–168. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  2. 2.
    Fritzsche, M.: Performance related Decision Support for Process Modelling. Phd, Queen’s University Belfast (2010)Google Scholar
  3. 3.
    Fritzsche, M., Johannes, J., Zschaler, S., Zherebtsov, A., Terekhov, A.: Application of Tracing Techniques in Model-Driven Performance Engineering. In: Proceedings of the 4th ECMDA Traceability Workshop (ECMDA-TW), pp. 111–120 (2008)Google Scholar
  4. 4.
    Jensen, K.: Coloured petri nets (1987)Google Scholar
  5. 5.
    Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72, 31–39 (2008)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Lohmann, N., Verbeek, E., Dijkman, R.: Petri Net Transformations for Business Processes – A Survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 46–63. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  7. 7.
    Mu, D.J., DiCesare, F.: A Review of Synthesis Techniques for Petri Nets. In: Proceedings of Rensselaer’s Second International Conference on Computer Integrated Manufacturing, Troy, NY, USA, pp. 348–355. IEEE Comput. Soc. Press, Los Alamitos (1990)Google Scholar
  8. 8.
    Object Management Group: MOF QVT Final Adopted Specification (2005)Google Scholar
  9. 9.
    Object Management Group: Business Process Modeling Notation Specification, Final Adopted Specification, Version 1.0 (2006)Google Scholar
  10. 10.
    Raedts, I.G.J., Petkovi, M., Usenko, Y.S., van der Werf, J., Somers, J.F.G.L.: Transformation of BPMN models for behaviour analysis. In: Proceedings 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2007, Funchal, Madeira, Portugal, June 12-13, pp. 126–137. INSTICC Press (2007)Google Scholar
  11. 11.
    und Dan Rubel, E.C.: Eclipse. Building Commercial-Quality Plug-Ins. Addison-Wesley (2006)Google Scholar
  12. 12.
    Vanderaalst, W., Terhofstede, A.: YAWL: yet another workflow language. Information Systems (4), 245–275 (2005)Google Scholar
  13. 13.
    Zuberek, W.M.: Petri nets in hierarchical modeling of manufacturing systems. In: Proc. IFAC Conf. on Control Systems Design (CSD 2000), Bratislava, Slovak Republic, June 18-20, pp. 287–292 (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Ulrich Winkler
    • 1
  • Mathias Fritzsche
    • 2
  • Wasif Gilani
    • 1
  • Alan Marshall
    • 3
  1. 1.SAP ResearchSAP AG, The ConcourseBelfastUnited Kingdom
  2. 2.SAP Modelling and TaxonomySAP AG WalldorfGermany
  3. 3.Queen’s Universiy BelfastBelfastUnited Kingdom

Personalised recommendations