Skip to main content
SpringerLink
Log in

Translating DEMO Models into Petri Net

  • Conference paper
Enterprise and Organizational Modeling and Simulation (EOMAS 2013)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 153))

Included in the following conference series:

Abstract

The DEMO methodology presents a systematic way for developing an ontological model of an enterprise. Its profound theoretical foundation is suitable for modeling complex business processes in an enterprise. A major drawback of the DEMO methodology lies in its inability to simulate the created model in order to get insight into the model’s behavior, conduct a performance analysis or be able to compare design options. In this paper, a method of translating the DEMO models into Petri net model, which is a suitable technique for process simulation, is proposed. The method includes an analysis of information needed to build a Petri net model. The method is comprised of a set of modeling constructs, supplemented with an overview of aspects that are included in DEMO models and information that would have to be added for performance analysis.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W.M.P.: Three Good Reasons for Using a Petri-Net-Based Workflow Management System. In: Wakayama, T., Kannapan, S., Khoong, C.M., Navathe, S., Yates, J. (eds.) Information and Process Integration in Enterprises, pp. 161–182. Springer, US (1998)

    Chapter  Google Scholar 

  2. van der Aalst, W.M.P.: Business Process Simulation Revisited. In: Barjis, J. (ed.) EOMAS 2010. LNBIP, vol. 63, pp. 1–14. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  3. van der Aalst, W.M.P., Hee, K.M.: Business process redesign: A Petri-net-based approach. Computers in Industry 29, 15–26 (1996)

    Article  Google Scholar 

  4. van der Aalst, W.M.P., Nakatumba, J., Rozinat, A., Russell, N.: Business process simulation: How to get it right? BPM Center Report BPM-08-07 (2008)

    Google Scholar 

  5. Adam, N.R., Atluri, V., Huang, W.-K.: Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems 10, 131–158 (1998)

    Article  Google Scholar 

  6. Aguilar, M., Rautert, T., Pater, A.J.G.: Business process simulation: a fundamental step supporting process centered management. In: 1999 Winter Simulation Conference Proceedings, vol. 2, pp. 1383–1392 (1999)

    Google Scholar 

  7. Banks, J.: Handbook of Simulation - Principles, Methodology, Advances, Applications, and Practice. John Wiley & Sons (1998)

    Google Scholar 

  8. Banks, J.: Handbook of Simulation. John Wiley & Sons, Inc. (2007)

    Google Scholar 

  9. Banks, J., Carson II, J.S., Nelson, B.L., Nicol, D.M.: Discrete-Event System Simulation. Prentice Hall (2010)

    Google Scholar 

  10. Barjis, J.: Developing executable models of business systems. In: ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings ISAS, pp. 5–13 (2007)

    Google Scholar 

  11. Barjis, J.: Collaborative, participative and interactive enterprise modeling. In: Filipe, J., Cordeiro, J. (eds.) Enterprise Information Systems. LNIBP, vol. 24, pp. 651–662. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  12. Barjis, J., Kolfschoten, G.L., Verbraeck, A.: Collaborative enterprise modeling. In: Proper, E., Harmsen, F., Dietz, J.L.G. (eds.) PRET 2009. LNBIP, vol. 28, pp. 50–62. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  13. Barjis, J.: Enterprise Modeling and Simulation Within Enterprise Engineering. Journal of Enterprise Transformation 1, 185–207 (2011)

    Article  Google Scholar 

  14. Desel, J., Erwin, T.: Modeling, Simulation and Analysis of Business Processes. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 129–141. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  15. Dietz, J.L.G., Hoogervorst, J.A.P.: The Principles of Enterprise Engineering. In: Albani, A., Aveiro, D., Barjis, J. (eds.) EEWC 2012. LNBIP, vol. 110, pp. 15–30. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  16. Dietz, J.L.G.: Enterprise Ontology: Theory and Methodology. Springer (2006)

    Google Scholar 

  17. Giaglis, G.M., Paul, R.J., Hlupic, V.: Integrating simulation in organizational design studies. International Journal of Information Management 19, 219–236 (1999)

    Article  Google Scholar 

  18. Gladwin, B., Tumay, K.: Modeling business processes with simulation tools. In: Simulation Conference Proceedings, pp. 114–121 (Winter 1994)

    Google Scholar 

  19. Highland, H.J.: A taxonomy approach to simulation model documentation. In: Proceedings of the 9th Conference on Winter Simulation, vol. 2, pp. 724–729. Winter Simulation Conference, Gaitersburg (1977)

    Google Scholar 

  20. Hlupic, V., Robinson, S.: Business process modelling and analysis using discrete-event simulation. In: Proceedings of the 30th Conference on Winter Simulation, pp. 1363–1370. IEEE Computer Society Press, Washington, D.C. (1998)

    Google Scholar 

  21. Law, A.M.: How to build valid and credible simulation models. In: Proceedings of the 2009 Winter Simulation Conference (WSC), pp. 24–33 (2009)

    Google Scholar 

  22. Law, A.M., Kelton, D.W.: Simulation modeling & analysis. McGraw-Hill, United States of America (1991)

    Google Scholar 

  23. Law, A.M.: How to build valid and credible simulation models. In: Proceedings of the 37th Conference on Winter Simulation. Winter Simulation Conference, Orlando (2005)

    Google Scholar 

  24. MacDougall, M.H.: Simulating Computer Systems. MIT Press (1987)

    Google Scholar 

  25. Osman, B.: Verification, Validation and Accreditation. In: Medeiros, D.J., Watson, E.F., Carson, J.S., Manivannan, M.S. (eds.) Winter Simulation Conference (1998)

    Google Scholar 

  26. Paul, R.J., Hlupic, V., Giaglis, G.: Simulation modelling of business processes. In: 3rd UK Academy of Information Systems Conference, Lincoln, UK, pp. 311–320 (1998)

    Google Scholar 

  27. Rozinat, A., Mans, R.S., Song, M., van der Aalst, W.M.P.: Discovering simulation models. Information Systems 34, 305–327 (2009)

    Article  Google Scholar 

  28. Salimifard, K., Wright, M.: Petri net-based modelling of workflow systems: An overview. European Journal of Operational Research 134, 664–676 (2001)

    Article  Google Scholar 

  29. Sargent, R.G.: Validation and verification of simulation models. In: Proceedings of the 2004 Winter Simulation Conference, p. 28 (2004)

    Google Scholar 

  30. Shannon, R.E.: System Simulation: The Art and Science. PrenticeHall, Englewood Cliffs (1975)

    Google Scholar 

  31. Shishkov, B., Dietz, J.G.: Deriving Use Cases from Business Processes. In: Camp, O., Filipe, J.L., Hammoudi, S., Piattini, M. (eds.) Enterprise Information Systems V, pp. 249–257. Springer, Netherlands (2005)

    Chapter  Google Scholar 

  32. Tumay, K.: Business process simulation. In: Winter Simulation Conference Proceedings, pp. 55–60 (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Czech Technical University in Prague, Prague, Czech Republic

    Zuzana Vejrazkova

Authors
  1. Zuzana Vejrazkova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Amir Meshkat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Delft University of Technology, Jaffalaan 5, 2628 BX, Delft, The Netherlands

    Joseph Barjis

  2. University of Tennessee Chattanooga, Chattanooga, TN, USA

    Ashish Gupta

  3. Delft University of Technology, Delft, The Netherlands

    Amir Meshkat

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vejrazkova, Z., Meshkat, A. (2013). Translating DEMO Models into Petri Net. In: Barjis, J., Gupta, A., Meshkat, A. (eds) Enterprise and Organizational Modeling and Simulation. EOMAS 2013. Lecture Notes in Business Information Processing, vol 153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41638-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-41638-5_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-41637-8

  • Online ISBN: 978-3-642-41638-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation