Protos 7.0: Simulation Made Accessible

  • Eric Verbeek
  • Maarte van Hattem
  • Hajo Reijers
  • Wendy de Munk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3536)


Many consider simulation to be a highly specialist activity: it is difficult to undertake and is even more difficult to understand its outcomes. The new version of the business process modeling tool Protos attempts to more closely integrate modeling and simulation facilities into one tool. The assumed benefit is that business professionals may more easily undertake simulation experiments when they are enabled with the same tool to extend their existing process models to carry out simulation experiments. This paper explains how the existing engine of the Petri-net based tool ExSpect is integrated into Protos 7.0. It also shows the extended user interface of Protos and the simulation reports it generates.


Business Process Process Stream Business Process Management Business Professional Resource Class 
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.
    van der Aalst, W.M.P., de Crom, P., Goverde, R., van Hee, K.M., Hofman, W., Reijers, H., van der Toorn, R.A.: ExSpect 6.4: An executable specification tool for hierarchical colored Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 455–464. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business process management: A survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1–12. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
    Altova. XMLSpy online manual: Content model view (last visited on November 2, 2004),
  4. 4.
    Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E.: eXtensible Markup Language (XML) 1.0, 2nd edn. (2000),
  5. 5.
    Clark, J.: XSL Transformations (XSLT) version 1.0 (1999),
  6. 6.
    Fallside, D.C., Walmsley, P.: XML Schema part 0, primer, 2nd edn. (2004),
  7. 7.
    van Hee, K.M., Somers, L.J., Voorhoeve, M.: Executable specifications for distributed information systems. In: Falkenberg, E.D., Lindgreen, P. (eds.) Proceedings of the IFIP TC 8 / WG 8.1 Working Conference on Information System Concepts: An In-depth Analysis, Namur, Belgium, pp. 139–156. Elsevier Science Publishers, Amsterdam (1989)Google Scholar
  8. 8.
    Janssens, G.K., Verelst, J., Weyn, B.: Techniques for modeling workflows and their support of reuse. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 1–15. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  9. 9.
    Moder, J.J., Phlips, C.R.: Project Management with CPM and PERT, 2nd edn., Van Nostrand Reinhold, New York (1970)Google Scholar
  10. 10.
    Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN tools for editing, simulating, and analysing coloured Petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 450–462. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  11. 11.
    Sharp, A., McDermott, P.: Workflow Modeling: Tools for Process Improvement and Application Development. Artech House Publishers, Boston (2001)Google Scholar
  12. 12.
    Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnozing workflow processes using Woflan. The Computer Journal 44(4), 246–279 (2001)zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Eric Verbeek
    • 1
  • Maarte van Hattem
    • 2
  • Hajo Reijers
    • 1
  • Wendy de Munk
    • 2
  1. 1.Department of Technology ManagementEindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.Pallas Athena BVApeldoornThe Netherlands

Personalised recommendations