{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:49:44Z","timestamp":1761126584445,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"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_1","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T07:41:51Z","timestamp":1257320511000},"page":"1-24","source":"Crossref","is-referenced-by-count":10,"title":["Designing a Workflow System Using Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Nick C.","family":"Russell","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":"Arthur H. M.","family":"ter Hofstede","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","first-page":"107","volume-title":"Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Number DAIMI PB-584, Department of Computer Science","author":"N. Russell","year":"2007","unstructured":"Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P.: newYAWL: Specifying a workflow reference language using Coloured Petri Nets. In: Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Number DAIMI PB-584, Department of Computer Science, pp. 107\u2013126. University of Aarhus, Denmark (2007)"},{"issue":"4","key":"1_CR2","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":"3","key":"1_CR3","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., Barros, A.: Workflow patterns. Distributed and Parallel Databases\u00a014(3), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"1_CR4","unstructured":"Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P., Mulyar, N.: Workflow control-flow patterns: A revised view. Technical Report BPM-06-22 (2006), \n                    http:\/\/www.BPMcenter.org"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/11494744_24","volume-title":"Applications and Theory of Petri Nets 2005","author":"M. Wynn","year":"2005","unstructured":"Wynn, M., Edmond, D., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Achieving a general, formal and decidable approach to the OR-join in workflow using Reset nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 423\u2013443. Springer, Heidelberg (2005)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/11568322_23","volume-title":"Conceptual Modeling \u2013 ER 2005","author":"N. Russell","year":"2005","unstructured":"Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns: Identification, representation and tool support. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, \u00d3. (eds.) ER 2005. LNCS, vol.\u00a03716, pp. 353\u2013368. Springer, Heidelberg (2005)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","first-page":"216","volume-title":"Advanced Information Systems Engineering","author":"N. Russell","year":"2005","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow resource patterns: Identification, representation and tool support. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 216\u2013232. Springer, Heidelberg (2005)"},{"key":"1_CR8","series-title":"Basic Concepts. Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1997)"},{"key":"1_CR9","unstructured":"Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: newYAWL: achieving comprehensive patterns support in workflow for the control-flow, data and resource perspectives. Technical Report BPM-07-05 (2007), \n                    http:\/\/www.BPMcenter.org"},{"issue":"1","key":"1_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. van der Aalst","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Application and Theory of Petri Nets 1993","author":"C. Ellis","year":"1993","unstructured":"Ellis, C., Nutt, G.: Modelling and enactment of workflow systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 1\u201316. Springer, Heidelberg (1993)"},{"issue":"2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"N. Adam","year":"1998","unstructured":"Adam, N., Atluri, V., Huang, W.: Modeling and analysis of workflows using Petri nets. Journal of Intelligent Information Systems\u00a010(2), 131\u2013158 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/3-540-44895-0_17","volume-title":"Business Process Management","author":"D. Moldt","year":"2003","unstructured":"Moldt, D., R\u00f6lke, H.: Pattern based workflow design using reference nets. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 246\u2013260. Springer, Heidelberg (2003)"},{"issue":"10","key":"1_CR14","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W.M.P. van der Aalst","year":"1999","unstructured":"van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Information and Software Technology\u00a041(10), 639\u2013650 (1999)","journal-title":"Information and Software Technology"},{"key":"1_CR15","unstructured":"St\u00f6rrle, H., Hausmann, J.: Towards a formal semantics of UML 2.0 activities. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Proceedings of the Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, Essen, Germany, Gesellschaft fur Informatik. LNI, vol.\u00a064, pp. 117\u2013128 (2005)"},{"issue":"12","key":"1_CR16","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R. Dijkman","year":"2008","unstructured":"Dijkman, R., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information and Software Technology\u00a050(12), 1281\u20131294 (2008)","journal-title":"Information and Software Technology"},{"issue":"3","key":"1_CR17","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10009-007-0036-z","volume":"9","author":"M. Pesic","year":"2007","unstructured":"Pesic, M., van der Aalst, W.M.P.: Modelling work distribution mechanisms using colored Petri nets. International Journal on Software Tools for Technology Transfer\u00a09(3), 327\u2013352 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1145\/581339.581361","volume-title":"ICSE 2002: Proceedings of the 24th International Conference on Software Engineering","author":"E. Di Nitto","year":"2002","unstructured":"Di Nitto, E., Lavazza, L., Schiavoni, M., Tracanella, E., Trombetta, M.: Deriving executable process descriptions from UML. In: ICSE 2002: Proceedings of the 24th International Conference on Software Engineering, pp. 155\u2013165. ACM Press, New York (2002)"},{"issue":"3","key":"1_CR19","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s10009-007-0035-0","volume":"9","author":"R. Machado","year":"2007","unstructured":"Machado, R., Lassen, K., Oliveira, S., Couto, M., Pinto, P.: Requirements validation: Execution of UML models with CPN tools. International Journal on Software Tools for Technology Transfer\u00a09(3), 353\u2013369 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"3","key":"1_CR20","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., Wells, L.: Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. International Journal of Software Tools for Technology Transfer\u00a09(3), 213\u2013254 (2007)","journal-title":"International Journal of Software Tools for Technology Transfer"},{"key":"1_CR21","unstructured":"Gottschalk, F., van der Aalst, W., Jansen-Vullers, M., Verbeek, H.: Protos2CPN: Using colored Petri nets for configuring and testing business processes. In: Jensen, K. (ed.) Proceedings of the 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. PB-579 of DAIMI Reports, Aarhus, Denmark, pp. 137\u2013155 (2006)"},{"key":"1_CR22","unstructured":"Ribeiro, O., Fernandes, J.: Some rules to transform sequence diagrams into coloured Petri nets. In: Jensen, K. (ed.) Proceedings of the 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. PB-579 of DAIMI Reports, Aarhus, Denmark, pp. 137\u2013155 (2006)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"J\u00f8rgensen, J.B., Lassen, K.B., van der Aalst, W.M.P.: From task descriptions via coloured Petri nets towards an implementation of a new electronic patient record. In: Jensen, K. (ed.) Proceedings of the 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark. PB-579 of DAIMI Reports, pp. 137\u2013155 (2006)","DOI":"10.7146\/dpb.v35i579.7322"},{"key":"1_CR24","volume-title":"Workflow Management: Modeling Concepts, Architecture and Implementation","author":"S. Jablonski","year":"1996","unstructured":"Jablonski, S., Bussler, C.: Workflow Management: Modeling Concepts, Architecture and Implementation. Thomson Computer Press, London (1996)"},{"key":"1_CR25","volume-title":"Proceedings of the Seventh International Workshop on Research Issues in Data Engineering (RIDE 1997)","author":"S. Ceri","year":"1997","unstructured":"Ceri, S., Grefen, P., Sanchez, G.: WIDE: a distributed architecture for workflow management. In: Proceedings of the Seventh International Workshop on Research Issues in Data Engineering (RIDE 1997), Birmingham, England. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Ludwig, H., Hoffner, Y.: Contract-based cross-organisational workflows - the CrossFlow project. In: Grefen, P., Bussler, C., Ludwig, H., Shan, M. (eds.) Proceedings of the WACC Workshop on Cross-Organisational Workflow Management and Co-Ordination, San Francisco (1999)","DOI":"10.1145\/327556.327641"},{"key":"1_CR27","unstructured":"Eder, J., Liebhart, W.: The workflow activity model (WAMO). In: Laufmann, S., Spaccapietra, S., Yokoi, T. (eds.) Proceedings of the Third International Conference on Cooperative Information Systems (CoopIS 1995), pp. 87\u201398. University of Toronto Press, Vienna (1995)"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T20:19:35Z","timestamp":1674073175000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-04856-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048548","9783642048562"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04856-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}