{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T06:40:15Z","timestamp":1736577615784,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_13","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T15:52:02Z","timestamp":1160063522000},"page":"177-192","source":"Crossref","is-referenced-by-count":10,"title":["Workflow Model Compositions Preserving Relaxed Soundness"],"prefix":"10.1007","author":[{"given":"Juliane","family":"Siegeris","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Zimmermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"13_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"3","key":"13_CR2","first-page":"335","volume":"34","author":"W.M.P. Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.P.: Interorganizational Workflows: An Approach based on Message Sequence Charts and Petri Nets. Systems Analysis - Modelling - Simulation\u00a034(3), 335\u2013367 (1999)","journal-title":"Systems Analysis - Modelling - Simulation"},{"key":"13_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.M.: Workflow Management: Models, Methods, and Systems. MIT press, Cambridge (2002)"},{"issue":"2\u20133","key":"13_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0167-6423(01)00005-3","volume":"42","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.M., van der Toorn, R.A.: Component-based software architectures: a framework based on inheritance of behavior. Science of Computer Programming\u00a042(2\u20133), 129\u2013171 (2002)","journal-title":"Science of Computer Programming"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets 1987","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266. Springer, Heidelberg (1987)"},{"key":"13_CR6","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":"13_CR7","unstructured":"Dehnert, J.: A Methodology for Workflow Modeling - From business process modeling towards sound workflow specification. PhD thesis, TU Berlin (2003)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-69108-1","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J. Desel","year":"1998","unstructured":"Desel, J., Reisig, W.: Place\/Transition Petri Nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-45341-5_11","volume-title":"Advanced Information Systems Engineering","author":"J. Dehnert","year":"2001","unstructured":"Dehnert, J., Rittgen, P.: Relaxed Soundness of Business Processes. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 157\u2013170. Springer, Heidelberg (2001)"},{"issue":"3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1142\/S0218843004000973","volume":"13","author":"J. Dehnert","year":"2004","unstructured":"Dehnert, J., van der Aalst, W.M.P.: Bridging the Gap Between Business Models and Workflow Specifications. Int. Journal of Cooperative Information Systems (IJCIS)\u00a013(3), 289\u2013332 (2004)","journal-title":"Int. Journal of Cooperative Information Systems (IJCIS)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-30468-5_11","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"J. Dehnert","year":"2004","unstructured":"Dehnert, J., Zimmermann, A.: Making Workflow Models Sound Using Petri Net Controller Synthesis. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol.\u00a03290, pp. 139\u2013154. Springer, Heidelberg (2004)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/11538394_28","volume-title":"Business Process Management","author":"J. Dehnert","year":"2005","unstructured":"Dehnert, J., Zimmermann, A.: On the Suitability of Correctness Criteria for Business Process Models. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 386\u2013391. Springer, Heidelberg (2005)"},{"key":"13_CR13","unstructured":"Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Zhou, X., Schewe, K.-D. (eds.) 14th Australasian Database Conference (ADC 2003), Australia. Conferences in Research and Practice in Information Technology, vol.\u00a017 (2003)"},{"key":"13_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.M. Hee van","year":"2003","unstructured":"van Hee, K.M., 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)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45594-9_15","volume-title":"Business Process Management","author":"E. Kindler","year":"2000","unstructured":"Kindler, E., Martens, A., Reisig, W.: Inter-Operability of Workflow Applications: Local Criteria for Global Soundness. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 235\u2013253. Springer, Heidelberg (2000)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R. Valette","year":"1979","unstructured":"Valette, R.: Analysis of Petri nets by stepwise refinements. Journal of Computer and System Sciences\u00a018, 35\u201346 (1979)","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/11494744_15","volume-title":"Applications and Theory of Petri Nets 2005","author":"K.M. Hee van","year":"2005","unstructured":"van Hee, K.M., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Soundness of Resource-Constrained Workflow Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 250\u2013267. 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_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T06:12:17Z","timestamp":1736575937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841760_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540389019","9783540389033"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11841760_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}