{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T04:57:57Z","timestamp":1760245077815},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,9,18]],"date-time":"2007-09-18T00:00:00Z","timestamp":1190073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"},{"start":{"date-parts":[[2007,9,18]],"date-time":"2007-09-18T00:00:00Z","timestamp":1190073600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transf"],"published-print":{"date-parts":[[2008,1]]},"DOI":"10.1007\/s10009-007-0055-9","type":"journal-article","created":{"date-parts":[[2007,9,17]],"date-time":"2007-09-17T07:20:40Z","timestamp":1190013640000},"page":"95-110","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Protos2CPN: using colored Petri nets for configuring and testing business processes"],"prefix":"10.1007","volume":"10","author":[{"given":"F.","family":"Gottschalk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. H.","family":"Jansen-Vullers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. M. W.","family":"Verbeek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,9,18]]},"reference":[{"key":"55_CR1","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science, vol. 1248","author":"W.M.P. van der Aalst","year":"1997","unstructured":"van der Aalst W.M.P. (1997). Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds) Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science, vol. 1248, pp 407\u2013426. Springer, Berlin"},{"key":"55_CR2","first-page":"1","volume-title":"Lectures on Concurrency and Petri Nets. Lecture Notes in Computer Science, vol. 3098","author":"W.M.P. van der Aalst","year":"2004","unstructured":"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\u201365. Springer, Berlin"},{"issue":"1\u20132","key":"55_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W.M.P. van der Aalst","year":"2002","unstructured":"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\u20132): 125\u2013203","journal-title":"Theor. Comput. Sci."},{"key":"55_CR4","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1007\/3-540-44988-4_26","volume-title":"Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000. Lecture Notes in Computer Science, vol. 1825","author":"W.M.P. van der Aalst","year":"2000","unstructured":"van der Aalst W.M.P., de Crom P.J.N., Goverde R.R.H.M.J.,\nvan 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\u2013464. Lecture Notes in Computer Science, vol 1825. Springer"},{"key":"55_CR5","first-page":"512","volume-title":"Business Process Management Workshops, Lecture Notes in Computer Science, vol. 3812","author":"W.M.P. van der Aalst","year":"2006","unstructured":"van der Aalst W.M.P., Dreiling A., Gottschalk F., Rosemann\nM., 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\u2013518. Springer, Heidelberg"},{"issue":"1","key":"55_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. van der Aalst","year":"2003","unstructured":"van der Aalst W.M.P., ter Hofstede A.H.M., Kiepuszewski B.,\nBarros A.P. (2003). Workflow patterns. Distributed and Parallel Databases 14(1): 5\u201351","journal-title":"Distributed and Parallel Databases"},{"issue":"2","key":"55_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T. Basten","year":"2001","unstructured":"Basten T., van der Aalst W.M.P. (2001). Inheritance of behavior. J. Logic Algebr. Program. 47(2): 47\u2013145","journal-title":"J. Logic Algebr. Program."},{"key":"55_CR8","unstructured":"Becker, J., Delfmann, P., Dreiling, A., Knackstedt, R., Kuropka, D.: Configurative process modeling\u2014outlining an approach to increased business process model usability. In: Proceedings of the 15th IRMA International Conference, New Orleans Gabler, (2004)"},{"issue":"4","key":"55_CR9","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF03250942","volume":"46","author":"J. Becker","year":"2004","unstructured":"Becker J., Delfmann P., Knackstedt R. (2004). Konstruktion von Referenzmodellierungssprachen: Ein Ordnungsrahmen zur Spezifikation von Adaptionsmechanismen f\u00fcr Informationsmodelle (in German). Wirtschaftsinformatik 46(4): 251\u2013264","journal-title":"Wirtschaftsinformatik"},{"key":"55_CR10","doi-asserted-by":"crossref","unstructured":"vom Brocke, J., Buddendick, C.: Konstruktionstechniken f\u00fcr die Referenzmodellierung (in German). In: Becker, J., Delfmann, P. (eds.) Referenzmodellierung. Grundlagen, Techniken und dom\u00e4nenbezogene Anwendung, also Proceedings of the 8th Fachtagung Referenzmodellierung, pp. 19\u201348. Heidelberg (2004)","DOI":"10.1007\/978-3-7908-2698-2_2"},{"key":"55_CR11","volume-title":"SAPR\/3 Business Blueprint: Understanding the Business Process Reference Model","author":"T. Curran","year":"1998","unstructured":"Curran T., Keller G., Ladd A. (1998). SAPR\/3 Business Blueprint: Understanding the Business Process Reference Model. Prentice Hall, Upper Saddle River"},{"key":"55_CR12","unstructured":"Deloitte & Touche Bakkenist. ExSpect Home Page. http:\/\/www.exspect.com"},{"key":"55_CR13","first-page":"59","volume-title":"Reference Modeling. Efficient Information Systems Design Through Reuse of Information Models","author":"F. Gottschalk","year":"2007","unstructured":"Gottschalk F., van der Aalst W.M.P., Jansen-Vullers M.H. (2007). Configurable process models\u2014a foundational approach. In: Becker, J., Delfmann, P. (eds) Reference Modeling. Efficient Information Systems Design Through Reuse of Information Models, pp 59\u201378. Springer, Heidelberg"},{"key":"55_CR14","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, EATCS Monographs on Theoretical Computer Science, vol. 1","author":"K. Jensen","year":"1997","unstructured":"Jensen K. (1997). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, EATCS Monographs on Theoretical Computer Science, vol. 1. Springer, Berlin"},{"key":"55_CR15","unstructured":"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"},{"issue":"3\u20134","key":"55_CR16","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"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\u20134): 213\u2013254","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"issue":"10","key":"55_CR17","doi-asserted-by":"crossref","first-page":"1551","DOI":"10.1177\/0002764299042010006","volume":"42","author":"R.J. Paul","year":"1999","unstructured":"Paul R.J., Giaglis G.M., Hlupic V. (1999). Simulation of business processes. Am. Behav. Sci. 42(10): 1551\u20131576","journal-title":"Am. Behav. Sci."},{"issue":"1","key":"55_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2005.05.003","volume":"32","author":"M. Rosemann","year":"2007","unstructured":"Rosemann M., van der Aalst W.M.P. (2007). A configurable reference modelling language. Inf. Syst. 32(1): 1\u201323","journal-title":"Inf. Syst."},{"key":"55_CR19","doi-asserted-by":"crossref","unstructured":"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\u2013439. Springer, Nancy (2005)","DOI":"10.1007\/11538394_36"},{"key":"55_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-10233-5","volume-title":"Grunds\u00e4tze ordnungsm\u00e4\u00dfiger Referenzmodellierung\u2014Konstruktion konfigurations-und anpassungsorientierter Modelle (in German)","author":"R. Sch\u00fctte","year":"1998","unstructured":"Sch\u00fctte R. (1998). Grunds\u00e4tze ordnungsm\u00e4\u00dfiger Referenzmodellierung\u2014Konstruktion konfigurations-und anpassungsorientierter Modelle (in German). Gabler, Wiesbaden"},{"key":"55_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-99774-6","volume-title":"Objektorientierte Referenzmodellierung: theoretische Grundlagen und praktische Anwendung (in German)","author":"A. Schwegmann","year":"1999","unstructured":"Schwegmann A. (1999). Objektorientierte Referenzmodellierung: theoretische Grundlagen und praktische Anwendung (in German). Gabler, Wiesbaden"},{"key":"55_CR22","volume-title":"Workflow Modeling: Tools for Process Improvement and Application Development","author":"A. Sharp","year":"2001","unstructured":"Sharp A., McDermott P. (2001). Workflow Modeling: Tools for Process Improvement and Application Development. Artech House Publishers, Norwood"},{"key":"55_CR23","unstructured":"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"},{"key":"55_CR24","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/3-540-44988-4_28","volume-title":"Application and Theory of Petri Nets 2000. Lecture Notes in Computer Science, vol. 1825","author":"H.M.W. Verbeek","year":"2000","unstructured":"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\u2013484. Springer, Berlin"},{"issue":"4","key":"55_CR25","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H.M.W. Verbeek","year":"2001","unstructured":"Verbeek H.M.W., Basten T., van der Aalst W.M.P. (2001). Diagnosing workflow processes using Woflan. Comput. J. 44(4): 246\u2013279","journal-title":"Comput. J."},{"key":"55_CR26","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/11494744_27","volume-title":"Applications and Theory of Petri Nets 2005: 26th International Conference (ICATPN 2005). Lecture Notes in Computer Science, vol. 3536","author":"H.M.W. Verbeek","year":"2005","unstructured":"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\u2013474. Springer, Miami"},{"key":"55_CR27","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003. Lecture Notes in Computer Science, vol. 2679","author":"A. Vinter Ratzer","year":"2003","unstructured":"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\u2013462. Springer, Heidelberg"},{"key":"55_CR28","unstructured":"Wells, L.: Monitoring a CP-net. URL: http:\/\/wiki.daimi.au.dk\/cpntools-help\/monitoring_a_cp-net.wiki"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0055-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-007-0055-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0055-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0055-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T18:59:28Z","timestamp":1630436368000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-007-0055-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,18]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,1]]}},"alternative-id":["55"],"URL":"https:\/\/doi.org\/10.1007\/s10009-007-0055-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9,18]]},"assertion":[{"value":"18 September 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}