{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:30:53Z","timestamp":1725489053074},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403180"},{"type":"electronic","value":"9783540448952"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44895-0_13","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T01:06:27Z","timestamp":1186880787000},"page":"184-199","source":"Crossref","is-referenced-by-count":6,"title":["Query Nets: Interacting Workflow Modules That Ensure Global Termination"],"prefix":"10.1007","author":[{"given":"Rob J.","family":"van Glabbeek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David G.","family":"Stork","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"issue":"3","key":"13_CR1","first-page":"335","volume":"34","author":"W. M. P. Aalst van der","year":"1999","unstructured":"Wil M. P. van der Aalst (1999): Interorganizational Workflows: An Approach Based on Message Sequence Charts and Petri Nets. Systems Analysis\u2014Modelling\u2014Simulation 34(3), pp. 335\u2013367.","journal-title":"Interorganizational Workflows: An Approach Based on Message Sequence Charts and Petri Nets. Systems Analysis\u2014Modelling\u2014Simulation"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Wil M. P. van der Aalst & Kees M. van Hee (2002): Workflow Management: Models, Methods, and Systems. MIT Press.","DOI":"10.7551\/mitpress\/7301.001.0001"},{"key":"13_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BFb0046841","volume-title":"Petri nets: Central Models and Their Properties","author":"H. J. Genrich","year":"1987","unstructured":"Hartmann J. Genrich (1987): Predicate\/Transition nets. In Wilfried Brauer, Wolfgang Reisig & Grzegorz Rozenberg, editors: Petri nets: Central Models and Their Properties, Advances in Petri nets 1986, Part I, LNCS 254, Springer, pp. 207\u2013247."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/987361.987365","volume":"7","author":"K. Gostellow","year":"1972","unstructured":"K. Gostellow, V. Cerf, G. Estrin & S. Volansky (1972): Proper Termination of Flow-of-control in Programs Involving Concurrent Processes. ACM Sigplan 7(11), pp. 15\u201327.","journal-title":"ACM Sigplan"},{"key":"13_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-58043-3_21","volume-title":"A Decade of Concurrency","author":"K. Jensen","year":"1994","unstructured":"Kurt Jensen (1994): An Introduction to the Theoretical Aspects of Coloured Petri Nets. In Jaco W. de Bakker, Willem-Paul de Roever & Grzegorz Rozenberg, editors: A Decade of Concurrency, LNCS 803, Springer, pp. 230\u2013272. Available from http:\/\/www.daimi.au.dk\/~kjensen\/papers_books\/rex.pdf ."},{"key":"13_CR6","series-title":"Lect Notes Comput Sci","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":"Ekkart Kindler, Axel Martens & Wolfgang Reisig (2000): Inter-operability of Workflow Applications: Local Criteria for Global Soundness. In Wil van der Aalst et al., editor: Business Process Management, LNCS 1806, Springer, pp. 235\u2013253."},{"key":"13_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/3-540-65306-6_16","volume-title":"Lectures on Petri nets I: Basic models, Advances in Petri nets","author":"E. Smith","year":"1998","unstructured":"Einar Smith (1998): Principles of High-level Petri Nets. In Wolfgang Reisig & Grzegorz Rozenberg, editors: Lectures on Petri nets I: Basic models, Advances in Petri nets, LNCS 1491, Springer, pp. 174\u2013210."},{"key":"13_CR8","unstructured":"Workflow Management Coalition (1995): The Workflow Reference Model. Available from http:\/\/www.wfmc.org\/ ."}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44895-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:42:02Z","timestamp":1556739722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44895-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403180","9783540448952"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-44895-0_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}