{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:50:17Z","timestamp":1771699817503,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540403340","type":"print"},{"value":"9783540449195","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_22","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T20:38:42Z","timestamp":1188765522000},"page":"337-356","source":"Crossref","is-referenced-by-count":56,"title":["Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach"],"prefix":"10.1007","author":[{"given":"Kees","family":"van Hee","sequence":"first","affiliation":[]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Voorhoeve","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"22_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings ATPN\u2019 97","author":"W.M.P. Aalst van der","year":"1997","unstructured":"W.M.P. van der Aalst. Verification of Workflow Nets. In Az\u00e9ma, P. and Balbo, G., editors, Proceedings ATPN\u2019 97, LNCS 1248, Springer 1997."},{"key":"22_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Business Process Management, Models, Techniques and Empirical Studies","year":"1998","unstructured":"W.M.P. van der Aalst, J. Desel and A. Oberweis, editors Business Process Management, Models, Techniques and Empirical Studies. LNCS 1806, Springer 1998."},{"key":"22_CR3","unstructured":"W.M.P. van der Aalst and K.M. van Hee. Workflow Management: models, methods and systems. The MIT Press, 2000."},{"key":"22_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-68383-6","volume-title":"Business Process Management, Models, Techniques and Empirical Studies","author":"W.M.P. Aalst van der","year":"1998","unstructured":"W.M.P. van der Aalst. Workflow Verification: Finding Control-Flow Errors using Petri-net-based techniques. In J. Desel and A. Oberweis, editors Business Process Management, Models, Techniques and Empirical Studies. LNCS 1806, Springer 1998 [2], pages 161\u2013183."},{"key":"22_CR5","unstructured":"S. Ceri and G. Pelagatti. Distributed Databases: Principles and Systems. McGraw-Hill 1984."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximaton of fixpoints. In Fourth Annual Symposium on Principles of Programming Languages (POPL) (Los Angeles, Ca), pages 238\u2013252. ACM, January 1977.","DOI":"10.1145\/512950.512973"},{"key":"22_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/3-540-44634-6","volume-title":"Proceedings CAISE\u2019 01","author":"J. Dehnert","year":"2001","unstructured":"J. Dehnert and P. Rittgen. Relaxed Soundness of Business Processes. In K.R. Dittrich, A. Geppert and M.C. Norrie, editors, Proceedings CAISE\u2019 01, LNCS 2068, pages 157\u2013170, Springer 2001."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511526558"},{"key":"22_CR9","unstructured":"R.J. van Glabbeek and R.P. Weijland. Branching Time and Abstraction in Bisimulation Semantics (extended abstract). In G.X. Ritter, editor, Proceedings IFIP\u2019 89, pages 613\u2013618. North Holland 1989."},{"key":"22_CR10","series-title":"Lect Notes Comput Sci","first-page":"235","volume-title":"Business Process Management, Models, Techniques and Empirical Studies","author":"E. Kindler","year":"1998","unstructured":"E. Kindler, A. Martens and W. Reisig. Inter-operability of Workflow Applications: Local Criteria for Global Soundness. In J. Desel and A. Oberweis, editors Business Process Management, Models, Techniques and Empirical Studies. LNCS 1806, Springer 1998 [2], pages 235\u2013253."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"R. Milner. Operational and algebraic semantics of concurrent processes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. B, chapter 19, pages 1201\u20131242. Elsevier Science, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"issue":"4","key":"22_CR12","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H.M.W. Verbeek","year":"2001","unstructured":"H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing workflow processes using Woflan. The Computer Journal, 44(4):246\u2013279, 2001.","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T05:24:35Z","timestamp":1550899475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}