{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T09:46:28Z","timestamp":1748857588364},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540674542"},{"type":"electronic","value":"9783540455943"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45594-9_12","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T21:17:04Z","timestamp":1186521424000},"page":"184-200","source":"Crossref","is-referenced-by-count":7,"title":["Compositional modeling and verification of workflow processes"],"prefix":"10.1007","author":[{"given":"M.","family":"Voorhoeve","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"12_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Application and Theory of Petri Nets 1997, 18th. International Conference, Proceedings","author":"W.M.P. Aalst van der","year":"1997","unstructured":"W.M.P. van der Aalst. Verification of Workflow Nets. In Application and Theory of Petri Nets 1997, 18th. International Conference, Proceedings, volume 1248 of Lecture Notes in Computer Science, Toulouse, France, 1997. Springer-Verlag, Berlin, Germany."},{"key":"12_CR2","first-page":"149","volume-title":"Handbook of Logic in Computer Science","author":"J.C.M. Baeten","year":"1995","unstructured":"J.C.M. Baeten and C. Verhoef. Concrete Process Algebra. In A. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 4, pages 149\u2013268. Oxford University Press, Clarendon, UK, 1995."},{"key":"12_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets 1992","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers, and J. Hall. The Petri Box Calculus: a New Causal Algebra with Multilabel Communication. In G. Rozenberg, editor, Advances in Petri Nets 1992, volume 609 of Lecture Notes in Computer Science, pages 21\u201369. Springer-Verlag, Berlin, Germany, 1992."},{"key":"12_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-51486-4_71","volume-title":"Mathematical Foundations of Computer Science 1989, 14th. International Symposium, Proceedings","author":"R.J. Glabbeek van","year":"1989","unstructured":"R.J. van Glabbeek and U. Goltz. Equivalence Notions for Concurrent Systems and Refinement of Actions. In A. Kreczmar and G. Mirkowska, editors, Mathematical Foundations of Computer Science 1989, 14th. International Symposium, Proceedings, volume 379 of Lecture Notes in Computer Science, pages 237\u2013248. Springer-Verlag, Berlin, Germany, 1989."},{"issue":"1","key":"12_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennesy","year":"1985","unstructured":"M. Hennesy and R. Milner. Algebraic Laws for Nondeterminism and Concurrency. Journal of the ACM, 32(1):137\u2013161, 1985.","journal-title":"Journal of the ACM"},{"key":"12_CR6","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, London, UK, 1989."},{"key":"12_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W. Reisig","year":"1985","unstructured":"W. Reisig. Petri Nets. Springer-Verlag, Berlin, Germany, 1985."},{"key":"12_CR8","unstructured":"H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow Processes using Woflan. Computing Science Reports 99\/02, Eindhoven University of Technology, 1999."},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0304-3975(93)90157-O","volume":"114","author":"W. Vogler","year":"1993","unstructured":"W. Vogler. Bisimulation and Action Refinement. Theoretical Computer Science, 114(1):173\u2013200, 1993.","journal-title":"Theoretical Computer Science"},{"key":"12_CR10","unstructured":"M. Voorhoeve. State Event Net Equivalence. Computing Science Reports 98\/02, Eindhoven University of Technology, 1998."},{"key":"12_CR11","series-title":"Technical Report","volume-title":"Workflow Management Coalition Terminology and Glossary","author":"WFMC","year":"1996","unstructured":"WFMC. Workflow Management Coalition Terminology and Glossary. Technical Report WFMC-TC-1011, Workflow Management Coalition, Brussels, 1996."}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45594-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,20]],"date-time":"2019-02-20T23:48:47Z","timestamp":1550706527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45594-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540674542","9783540455943"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45594-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}