Abstract
Protos is a popular tool for business process modelling used in more than 1,500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indicators for the modelled processes. Reference process models offered for Protos reduce modelling efforts by providing generic solutions which only need to be adapted to individual requirements. However, the user can neither inspect or interact with simulations running in Protos, nor does Protos provide any explicit support for the adaptation of reference models. Hence, we aim at a more open and configurable simulation solution. To realize this we provide two transformations from Protos models to colored Petri nets (CPNs), which can be executed by CPN Tools. The first transformation enables the usage of the extensive simulation and measuring features of CPN Tools for the simulation of Protos models. The second transformation creates colored Petri nets with dedicated features for process configuration. Such configurable process models can be restricted directly within the process model without changing the model’s structure and provide therefore dedicated adaptation features for Protos’ reference process models.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
van der Aalst W.M.P. (1997). Verification of workflow nets. In: Azéma, P., Balbo, G. (eds) Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science, vol. 1248, pp 407–426. Springer, Berlin
van der Aalst W.M.P. (2004). Business process management demystified: a tutorial on models, systems and standards for workflow management. In: Desel, J., Reisig, W., Rozenberg, G. (eds) Lectures on Concurrency and Petri Nets. Lecture Notes in Computer Science, vol. 3098, pp 1–65. Springer, Berlin
van der Aalst W.M.P., Basten T. (2002). Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270(1–2): 125–203
van der Aalst W.M.P., de Crom P.J.N., Goverde R.R.H.M.J., van Hee K.M., Hofman W.J., Reijers H.A., van der Toorn R.A. (2000). ExSpect 6.4 An executable specification tool for hierarchical colored petri nets. In: Nielsen, M., Simpson, D. (eds) Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000. Lecture Notes in Computer Science, vol. 1825, pp 455–464. Lecture Notes in Computer Science, vol 1825. Springer
van der Aalst W.M.P., Dreiling A., Gottschalk F., Rosemann M., Jansen-Vullers M.H. (2006) Configurable process models as a basis for reference modeling. In: Bussler, C., Haller, A. (eds) Business Process Management Workshops, Lecture Notes in Computer Science, vol. 3812, pp 512–518. Springer, Heidelberg
van der Aalst W.M.P., ter Hofstede A.H.M., Kiepuszewski B., Barros A.P. (2003). Workflow patterns. Distributed and Parallel Databases 14(1): 5–51
Basten T., van der Aalst W.M.P. (2001). Inheritance of behavior. J. Logic Algebr. Program. 47(2): 47–145
Becker, J., Delfmann, P., Dreiling, A., Knackstedt, R., Kuropka, D.: Configurative process modeling—outlining an approach to increased business process model usability. In: Proceedings of the 15th IRMA International Conference, New Orleans Gabler, (2004)
Becker J., Delfmann P., Knackstedt R. (2004). Konstruktion von Referenzmodellierungssprachen: Ein Ordnungsrahmen zur Spezifikation von Adaptionsmechanismen für Informationsmodelle (in German). Wirtschaftsinformatik 46(4): 251–264
vom Brocke, J., Buddendick, C.: Konstruktionstechniken für die Referenzmodellierung (in German). In: Becker, J., Delfmann, P. (eds.) Referenzmodellierung. Grundlagen, Techniken und domänenbezogene Anwendung, also Proceedings of the 8th Fachtagung Referenzmodellierung, pp. 19–48. Heidelberg (2004)
Curran T., Keller G., Ladd A. (1998). SAPR/3 Business Blueprint: Understanding the Business Process Reference Model. Prentice Hall, Upper Saddle River
Deloitte & Touche Bakkenist. ExSpect Home Page. http://www.exspect.com
Gottschalk F., van der Aalst W.M.P., Jansen-Vullers M.H. (2007). Configurable process models—a foundational approach. In: Becker, J., Delfmann, P. (eds) Reference Modeling. Efficient Information Systems Design Through Reuse of Information Models, pp 59–78. Springer, Heidelberg
Jensen K. (1997). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, EATCS Monographs on Theoretical Computer Science, vol. 1. Springer, Berlin
Jensen, K., Christensen, S., Kristensen, L.M.: CPN Tools State Space Manual. University of Aarhus, Aarhus (2006) URL: http://wiki.daimi.au.dk/cpntools.help/_files/manual.pdf
Jensen K., Kristensen L.M., Wells L. (2007). Coloured petri nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. (STTT) 9(3–4): 213–254
Paul R.J., Giaglis G.M., Hlupic V. (1999). Simulation of business processes. Am. Behav. Sci. 42(10): 1551–1576
Rosemann M., van der Aalst W.M.P. (2007). A configurable reference modelling language. Inf. Syst. 32(1): 1–23
Sarshar, K., Loos, P.: Comparing the control-flow of EPC and Petri net from the end-user perspective. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) Proceedings of the 3rd International Conference on Business Process Management (BPM 2005). Lecture Notes in Computer Science, vol. 3649, pp. 434–439. Springer, Nancy (2005)
Schütte R. (1998). Grundsätze ordnungsmäßiger Referenzmodellierung—Konstruktion konfigurations-und anpassungsorientierter Modelle (in German). Gabler, Wiesbaden
Schwegmann A. (1999). Objektorientierte Referenzmodellierung: theoretische Grundlagen und praktische Anwendung (in German). Gabler, Wiesbaden
Sharp A., McDermott P. (2001). Workflow Modeling: Tools for Process Improvement and Application Development. Artech House Publishers, Norwood
Verbeek, H.M.W., van der Aalst, W.M.P.: Woflan Home Page, Eindhoven University of Technology, Eindhoven, The Netherlands. URL: http://is.tm.tue.nl/research/woflan
Verbeek H.M.W., van der Aalst W.M.P. (2000). Woflan 2.0 A Petri- net-based workflow diagnosis tool. In: Nielsen, M., Simpson, D. (eds) Application and Theory of Petri Nets 2000. Lecture Notes in Computer Science, vol. 1825, pp 475–484. Springer, Berlin
Verbeek H.M.W., Basten T., van der Aalst W.M.P. (2001). Diagnosing workflow processes using Woflan. Comput. J. 44(4): 246–279
Verbeek H.M.W., van Hattem M., Reijers H.A., de Munk W. (2005). Protos 7.0 simulation made accessible. In: Ciardo, G., Darondeau, P. (eds) Applications and Theory of Petri Nets 2005: 26th International Conference (ICATPN 2005). Lecture Notes in Computer Science, vol. 3536, pp 465–474. Springer, Miami
Vinter Ratzer A., Wells L., Lassen H.M., Laursen M., Qvortrup J.F., Stissing M.S., Westergaard M., Christensen S., Jensen K. (2003). CPN tools for editing, simulating, and analysing coloured Petri nets. In: Best, E. (eds) Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003. Lecture Notes in Computer Science, vol. 2679, pp 450–462. Springer, Heidelberg
Wells, L.: Monitoring a CP-net. URL: http://wiki.daimi.au.dk/cpntools-help/monitoring_a_cp-net.wiki
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License ( https://creativecommons.org/licenses/by-nc/2.0 ), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M.H. et al. Protos2CPN: using colored Petri nets for configuring and testing business processes. Int J Softw Tools Technol Transf 10, 95–110 (2008). https://doi.org/10.1007/s10009-007-0055-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-007-0055-9