{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:03:13Z","timestamp":1743073393767,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048548"},{"type":"electronic","value":"9783642048562"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04856-2_2","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T07:41:51Z","timestamp":1257320511000},"page":"25-49","source":"Crossref","is-referenced-by-count":5,"title":["From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems"],"prefix":"10.1007","author":[{"given":"Ronny S.","family":"Mans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick C.","family":"Russell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piet J. M.","family":"Bakker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnold J.","family":"Moleman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristian B.","family":"Lassen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens B.","family":"J\u00f8rgensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W.M.P. van der Aalst","year":"2000","unstructured":"van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Lectures on Concurrency and Petri Nets","author":"W.M.P. van der Aalst","year":"2004","unstructured":"van der Aalst, W.M.P.: 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. LNCS, vol.\u00a03098, pp. 1\u201365. Springer, Heidelberg (2004)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/10722620_20","volume-title":"Cooperative Information Systems","author":"W.M.P. van der Aalst","year":"2000","unstructured":"van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Workflow Modeling using Proclets. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol.\u00a01901, pp. 198\u2013209. Springer, Heidelberg (2000)"},{"key":"2_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W.M.P. van der Aalst","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)"},{"key":"2_CR5","unstructured":"van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of Workflow Nets: Classification, Decidability, and Analysis. Computer Science Report No. 08-13, Technische Universiteit Eindhoven, The Netherlands (2008)"},{"issue":"4","key":"2_CR6","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. van der Aalst","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Information Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"issue":"5","key":"2_CR7","first-page":"267","volume":"15","author":"W.M.P. van der Aalst","year":"2000","unstructured":"van der Aalst, W.M.P., Jablonski, S.: Dealing with Workflow Change: Identification of Issues and Solutions. International Journal of Computer Systems, Science, and Engineering\u00a015(5), 267\u2013276 (2000)","journal-title":"International Journal of Computer Systems, Science, and Engineering"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11575771_5","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"W.M.P. van der Aalst","year":"2005","unstructured":"van der Aalst, W.M.P., J\u00f8rgensen, J.B., Lassen, K.B.: Let\u2019s Go All the Way: From Requirements via Colored Workflow Nets to a BPEL Implementation of a New Bank System Paper. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol.\u00a03760, pp. 22\u201339. Springer, Heidelberg (2005)"},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"W.M.P. van der Aalst","year":"2005","unstructured":"van der Aalst, W.M.P., Weske, M., Gr\u00fcnbauer, D.: Case Handling: A New Paradigm for Business Process Support. Data and Knowledge Engineering\u00a053(2), 129\u2013162 (2005)","journal-title":"Data and Knowledge Engineering"},{"key":"2_CR10","unstructured":"Adams, M., ter Hofstede, A.H.M., ter Edmond, D., van der Aalst, W.M.P.: Facilitating Flexibility and Dynamic Exception Handling in Workflows. In: Belo, O., Eder, J., Pastor, O., Falcao e Cunha, J. (eds.) Proceedings of the CAiSE 2005 Forum, FEUP, Porto, Portugal, pp. 45\u201350 (2005)"},{"issue":"2","key":"2_CR11","first-page":"83","volume":"35","author":"K. Anyanwu","year":"2003","unstructured":"Anyanwu, K., Sheth, A., Cardoso, J., Miller, J., Kochut, K.: Healthcare Enterprise Process Development and Integration. Journal of Research and Practice in Information Technology\u00a035(2), 83\u201398 (2003)","journal-title":"Journal of Research and Practice in Information Technology"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Baresi, L., Casati, F., Castano, S., Fugini, M.G., Mirbel, I., Pernici, B.: WIDE Workflow Development Metholodogy. In: Proceedings of International Joint Conference on Work Activities Coordination and Collaboration, pp. 19\u201328 (1999)","DOI":"10.1145\/295666.295669"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/978-1-4471-0761-3_3","volume-title":"BIS 2000","author":"P. Dadam","year":"2000","unstructured":"Dadam, P., Reichert, M., Khuhn, K.: Clinical Workflows - The Killer Application for Process-oriented Information Systems? In: Abramowicz, W., Orlowska, M.E. (eds.) BIS 2000, pp. 36\u201359. Springer, Heidelberg (2000)"},{"key":"2_CR14","unstructured":"Graeber, S.: The impact of workflow management systems on the design of hospital information systems. In: AMIA 2001 Symposium Proceedings (2001)"},{"key":"2_CR15","first-page":"113","volume-title":"CGP 2004. Computer-based Support for Clinical Guidelines and Protocols","author":"U. Greiner","year":"2004","unstructured":"Greiner, U., Ramsch, J., Heller, B., L\u00f6ffler, M., M\u00fcller, R., Rahm, E.: Adaptive Guideline-based Treatment Workflows with AdaptFlow. In: Kaiser, K., Misch, S., Tu, S.W. (eds.) CGP 2004. Computer-based Support for Clinical Guidelines and Protocols, pp. 113\u2013117. IOS Press, Amsterdam (2004)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/11494744_15","volume-title":"Applications and Theory of Petri Nets 2005","author":"K.M. van Hee","year":"2005","unstructured":"van Hee, K.M., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Resource-Constrained Workflow Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 250\u2013267. Springer, Heidelberg (2005)"},{"issue":"3\u20134","key":"2_CR17","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.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. STTT\u00a09(3\u20134), 213\u2013254 (2007)","journal-title":"STTT"},{"key":"2_CR18","unstructured":"Jensen, K., Christensen, S., Kristensen, L.M.: CPN Tools State Space Manual. Department of Computer Science, Univerisity of Aarhus (2006)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MS.2004.1270759","volume":"21","author":"J.B. J\u00f8rgensen","year":"2004","unstructured":"J\u00f8rgensen, J.B., Bossen, C.: Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software\u00a021, 34\u201341 (2004)","journal-title":"IEEE Software"},{"issue":"1","key":"2_CR20","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s10009-007-0054-x","volume":"10","author":"J.B. J\u00f8rgensen","year":"2006","unstructured":"J\u00f8rgensen, J.B., Lassen, K.B., van der Aalst, W.M.P.: From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system. STTT\u00a010(1), 15\u201328 (2006)","journal-title":"STTT"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/3-540-36233-9_2","volume-title":"Databases in Networked Information Systems","author":"J. Kim","year":"2002","unstructured":"Kim, J., Robert Karlson, C.: A Design Methodology for Workflow System Development. In: Bhalla, S. (ed.) DNIS 2002. LNCS, vol.\u00a02544, pp. 15\u201328. Springer, Heidelberg (2002)"},{"key":"2_CR22","unstructured":"Kobielus, J.G.: Workflow Strategies. IDG Books (1997)"},{"key":"2_CR23","first-page":"312","volume-title":"HICSS 1998","author":"M. Kwan","year":"1998","unstructured":"Kwan, M., Balasubramanian, P.R.: Adding Workflow Analysis Techniques to the IS Development Toolkit. In: HICSS 1998, vol.\u00a04, pp. 312\u2013321. IEEE Computer Society Press, Los Alamitos (1998)"},{"issue":"6","key":"2_CR24","first-page":"571","volume":"9","author":"R. Lenz","year":"2002","unstructured":"Lenz, R., Elstner, T., Siegele, H., Kuhn, K.: A Practical Approach to Process Support in Health Information Systems. JAMIA\u00a09(6), 571\u2013585 (2002)","journal-title":"JAMIA"},{"key":"2_CR25","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.datak.2006.04.007","volume":"61","author":"R. Lenz","year":"2007","unstructured":"Lenz, R., Reichert, M.: IT Support for Healthcare Processes - Premises, Challenges, Perspectives. DKE\u00a061, 49\u201358 (2007)","journal-title":"DKE"},{"key":"2_CR26","unstructured":"Mans, R.S., van der Aalst, W.M.P., Bakker, P.J.M., Moleman, A.J., Lassen, K.B., J\u00f8rgensen, J.B.: From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In: Jensen, K. (ed.) Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 187\u2013206 (2007)"},{"key":"2_CR27","unstructured":"Mans, R.S., van der Aalst, W.M.P., Russell, N.C., Bakker, P.J.M.: Flexibility Schemes for Workflow Management Systems. In: Pre-Proceedings of ProHealth 2008, pp. 50\u201361 (2008)"},{"key":"2_CR28","unstructured":"Maruster, L., van der Aalst, W.M.P., Weijters, A.J.M.M., van den Bosch, A., Daelemans, W.: Automated Discovery of Workflow Models from Hospital Data. In: Dousson, C., H\u00f6ppner, F., Quiniou, R. (eds.) Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial Data, pp. 32\u201336 (2002)"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"issue":"8","key":"2_CR30","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1016\/j.jss.2006.11.015","volume":"80","author":"S. Philippi","year":"2007","unstructured":"Philippi, S., Hill, H.J.: Communication Support for Systems Engineering - Process Modelling and Animation with APRIL. The Journal of Systems and Software\u00a080(8), 1305\u20131316 (2007)","journal-title":"The Journal of Systems and Software"},{"issue":"1","key":"2_CR31","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0933-3657(00)00050-6","volume":"20","author":"S. Quaglini","year":"2000","unstructured":"Quaglini, S., Stefanelli, M., Cavallini, A., Micieli, G., Fassino, C., Mossa, C.: Guideline-based Careflow Systems. Artificial Intelligence in Medicine\u00a020(1), 5\u201322 (2000)","journal-title":"Artificial Intelligence in Medicine"},{"issue":"1","key":"2_CR32","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0933-3657(00)00100-7","volume":"22","author":"S. Quaglini","year":"2001","unstructured":"Quaglini, S., Stefanelli, M., Lanzola, G., Caporusso, V., Panzarasa, S.: Flexible Guideline-based Patient Careflow Systems. Artificial Intelligence in Medicine\u00a022(1), 65\u201380 (2001)","journal-title":"Artificial Intelligence in Medicine"},{"issue":"2","key":"2_CR33","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1008604709862","volume":"10","author":"M. Reichert","year":"1998","unstructured":"Reichert, M., Dadam, P.: ADEPTflex: Supporting Dynamic Changes of Workflow without Loosing Control. Journal of Intelligent Information Systems\u00a010(2), 93\u2013129 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"issue":"5","key":"2_CR34","first-page":"457","volume":"56","author":"H.A. Reijers","year":"2005","unstructured":"Reijers, H.A., van der Aalst, W.M.P.: The Effectiveness of Workflow Management Systems: Predictions and Lessons Learned. International Journal of Information Management\u00a056(5), 457\u2013471 (2005)","journal-title":"International Journal of Information Management"},{"key":"2_CR35","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1055\/s-0038-1633911","volume":"43","author":"M. Stefanelli","year":"2004","unstructured":"Stefanelli, M.: Knowledge and Process Management in Health Care Organizations. Methods Inf. Med.\u00a043, 525\u2013535 (2004)","journal-title":"Methods Inf. Med."},{"key":"2_CR36","unstructured":"Trcka, N., van der Aalst, W.M.P., Sidorova, N.: Analyzing control-flow and data-flow in workflow processes in a unified way. Computer Science Report No. 08-31, Technische Universiteit Eindhoven, The Netherlands (2008)"},{"key":"2_CR37","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1002\/spip.134","volume":"6","author":"M. Weske","year":"2001","unstructured":"Weske, M., Goesmann, T., Holten, R., Striemer, R.: Analysing, modelling and improving workflow application development processes. Software Process Improvement and Practice\u00a06, 35\u201346 (2001)","journal-title":"Software Process Improvement and Practice"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency III"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04856-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T02:01:12Z","timestamp":1739412072000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-04856-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048548","9783642048562"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04856-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}