{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T06:40:09Z","timestamp":1736577609376,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540389019"},{"type":"electronic","value":"9783540389033"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841760_16","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T15:52:02Z","timestamp":1160063522000},"page":"225-240","source":"Crossref","is-referenced-by-count":6,"title":["History-Based Joins: Semantics, Soundness and Implementation"],"prefix":"10.1007","author":[{"given":"Kees","family":"van Hee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivia","family":"Oanea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Serebrenik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Voorhoeve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Yasper. Petri net editor, http:\/\/www.yasper.org"},{"key":"16_CR2","unstructured":"Yasper workflow engine (YasperWE), www.yasper.org\/we"},{"key":"16_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)"},{"issue":"4","key":"16_CR4","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst.\u00a030(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"issue":"1","key":"16_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"16_CR6","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for web services. version 1.1 (2003), available at: ftp:\/\/www6.software.ibm.com\/software\/developer\/library\/ws-bpel.pdf"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/3-540-44895-0_23","volume-title":"Business Process Management","author":"P. Chrzastowski-Wachtel","year":"2003","unstructured":"Chrzastowski-Wachtel, P., Benatallah, B., Hamadi, R., O\u2019Dell, M., Susanto, A.: A top-down petri net-based approach for dynamic workflow modeling. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 336\u2013353. Springer, Heidelberg (2003)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45441-1_7","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M. Dumas","year":"2001","unstructured":"Dumas, M., ter Hofstede, A.H.M.: UML activity diagrams as a workflow specification language. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 76\u201390. Springer, Heidelberg (2001)"},{"issue":"1","key":"16_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"Genrich, H.J., Lautenbach, K.: System modelling with high-level Petri nets. Theor. Comput. Sci.\u00a013(1), 109\u2013136 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"van Hee, K., Oanea, O., Post, R., Somers, L., van der Werf, J.M.: Yasper a tool for workflow modeling and analysis. In: Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD 2006) (accepted, 2006)","DOI":"10.1109\/ACSD.2006.37"},{"key":"16_CR11","unstructured":"van Hee, K., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Modelling History-Dependent Business Processes. In: Proc. of the Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2006) (to appear, 2006)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11575771_14","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"K. Hee van","year":"2005","unstructured":"van Hee, K., Oanea, O., Sidorova, N.: Colored Petri nets to verify extended event-driven process chains. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol.\u00a03760, pp. 183\u2013201. Springer, Heidelberg (2005)"},{"key":"16_CR13","unstructured":"van Hee, K., Post, R., Somers, L.: Yet Another Smart Process Editor. In: Proc. of European Simulation and Modelling Conference (ESM 2005), EUROSIS, Porto, Portugal (2005)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44919-1_22","volume-title":"Applications and Theory of Petri Nets 2003","author":"K. Hee van","year":"2003","unstructured":"van Hee, K., Sidorova, N., Voorhoeve, M.: Soundness and separability of workflow nets in the stepwise refinement approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 337\u2013356. Springer, Heidelberg (2003)"},{"issue":"8","key":"16_CR15","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"16_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical. Springer, Heidelberg (1992)"},{"issue":"1","key":"16_CR17","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.datak.2005.02.005","volume":"56","author":"E. Kindler","year":"2006","unstructured":"Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng.\u00a056(1), 23\u201340 (2006)","journal-title":"Data Knowl. Eng."},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/11538394_18","volume-title":"Business Process Management","author":"R. Liu","year":"2005","unstructured":"Liu, R., Kumar, A.: An analysis and taxonomy of unstructured workflows. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 268\u2013284. Springer, Heidelberg (2005)"},{"key":"16_CR19","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, New York (1982)"},{"key":"16_CR20","volume-title":"Communicating and Mobile Systems: The Pi Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The Pi Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/11596141_37","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"C. Ouyang","year":"2005","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: WofBPEL: A tool for automated analysis of BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 484\u2013489. Springer, Heidelberg (2005)"},{"key":"16_CR22","unstructured":"White, S.A.: Workflow patterns with BPMN and UML. Technical report, IBM (2004), available at: http:\/\/www.bpmn.org\/Documents\/Notations"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/11494744_24","volume-title":"Applications and Theory of Petri Nets 2005","author":"M.T. Wynn","year":"2005","unstructured":"Wynn, M.T., Edmond, D., van der Aalst, W.M.P., ter Hofstede, A.: 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)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841760_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T06:12:00Z","timestamp":1736575920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841760_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540389019","9783540389033"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11841760_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}