{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T18:07:07Z","timestamp":1780337227166,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540674542","type":"print"},{"value":"9783540455943","type":"electronic"}],"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_11","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T21:17:04Z","timestamp":1186521424000},"page":"161-183","source":"Crossref","is-referenced-by-count":245,"title":["Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques"],"prefix":"10.1007","author":[{"given":"W. M. P.","family":"van der Aalst","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"11_CR1","unstructured":"W.M.P. van der Aalst. Three Good Reasons for Using a Petri-net-based Workflow Management System. In S. Navathe and T. Wakayama, editors, Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPI\u201996), pages 179\u2013201, Camebridge, Massachusetts, Nov 1996."},{"key":"11_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"W.M.P. van der Aalst. Verification of Workflow Nets. In P. Az\u00e9ma and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407\u2013426. Springer-Verlag, Berlin, 1997."},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21\u201366, 1998.","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"3","key":"11_CR4","first-page":"345","volume":"35","author":"W.M.P. Aalst van der","year":"1999","unstructured":"W.M.P. van der Aalst. Woflan: A Petri-net-based Workflow Analyzer. Systems Analysis-Modelling-Simulation, 35(3):345\u2013357, 1999.","journal-title":"Systems Analysis-Modelling-Simulation"},{"key":"11_CR5","unstructured":"W.M.P. van der Aalst, D. Hauschildt, and H.M.W. Verbeek. A Petri-net-based Tool to Analyze Workflows. In B. Farwer, D. Moldt, and M.O. Stehr, editors, Proceedings of Petri Nets in System Engineering (PNSE\u201997), pages 78\u201390, Hamburg, Germany, September 1997. University of Hamburg (FBI-HH-B-205\/97)."},{"key":"11_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/3-540-60029-9_32","volume-title":"Application and Theory of Petri Nets 1995","author":"K. Barkaoui","year":"1995","unstructured":"K. Barkaoui, J.M. Couvreur, and C. Dutheillet. On liveness in Extended Non Self-Controlling Nets. In G. De Michelis and M. Diaz, editors, Application and Theory of Petri Nets 1995, volume 935 of Lecture Notes in Computer Science, pages 25\u201344. Springer-Verlag, Berlin, 1995."},{"key":"11_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-47919-2_8","volume-title":"Advances in Petri Nets 1986 Part I: Petri Nets, central models and their properties","author":"E. Best","year":"1987","unstructured":"E. Best. Structure Theory of Petri Nets: the Free Choice Hiatus. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Advances in Petri Nets 1986 Part I: Petri Nets, central models and their properties, volume 254 of Lecture Notes in Computer Science, pages 168\u2013206. Springer-Verlag, Berlin, 1987."},{"key":"11_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/3-540-57529-4_66","volume-title":"Foundations of software technology and theoretical computer science","author":"A. Cheng","year":"1993","unstructured":"A. Cheng, J. Esparza, and J. Palsberg. Complexity results for 1-safe nets. In R.K. Shyamasundar, editor, Foundations of software technology and theoretical computer science, volume 761 of Lecture Notes in Computer Science, pages 326\u2013337. Springer-Verlag, Berlin, 1993."},{"key":"11_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-55676-1_8","volume-title":"Application and Theory of Petri Nets 1992","author":"J. Desel","year":"1992","unstructured":"J. Desel. A proof of the Rank theorem for extended free-choice nets. In K. Jensen, editor, Application and Theory of Petri Nets 1992, volume 616 of Lecture Notes in Computer Science, pages 134\u2013153. Springer-Verlag, Berlin, 1992."},{"key":"11_CR10","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995."},{"key":"11_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-56863-8_36","volume-title":"Application and Theory of Petri Nets 1993","author":"C.A. Ellis","year":"1993","unstructured":"C.A. Ellis and G.J. Nutt. Modelling and Enactment of Workflow Systems. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 1\u201316. Springer-Verlag, Berlin, 1993."},{"key":"11_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/BFb0039060","volume-title":"Proceedings of CONCUR 1990","author":"J. Esparza","year":"1990","unstructured":"J. Esparza. Synthesis rules for Petri nets, and how they can lead to new results. In J.C.M. Baeten and J.W. Klop, editors, Proceedings of CONCUR 1990, volume 458 of Lecture Notes in Computer Science, pages 182\u2013198. Springer-Verlag, Berlin, 1990."},{"key":"11_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/3-540-53863-1_27","volume-title":"Advances in Petri Nets 1990","author":"J. Esparza","year":"1990","unstructured":"J. Esparza and M. Silva. Circuits, Handles, Bridges and Nets. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 210\u2013242. Springer-Verlag, Berlin, 1990."},{"issue":"11","key":"11_CR14","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, and S. Volansky. Proper Termination of Flow-of-control in Programs Involving Concurrent Processes. ACM Sigplan, 7(11):15\u201327, 1972.","journal-title":"ACM Sigplan"},{"key":"11_CR15","volume-title":"Analysis production schemata by Petri nets","author":"M.H.T. Hack","year":"1972","unstructured":"M.H.T. Hack. Analysis production schemata by Petri nets. Master\u2019s thesis, Massachusetts Institute of Technology, Cambridge, Mass., 1972."},{"key":"11_CR16","volume-title":"Workflow Management: Modeling Concepts, Architecture, and Implementation","author":"S. Jablonski","year":"1996","unstructured":"S. Jablonski and C. Bussler. Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London, UK, 1996."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"E. Kindler and W.M.P. van der Aalst. Liveness, Fairness, and Recurrence. Information Processing Letters, 1999 (to appear).","DOI":"10.1016\/S0020-0190(99)00074-5"},{"key":"11_CR18","unstructured":"G. De Michelis, C. Ellis, and G. Memmi, editors. Proceedings of the second Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, Zaragoza, Spain, June 1994."},{"key":"11_CR19","series-title":"EATCS Monographs in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"W. Reisig. Petri Nets: An Introduction, volume 4 of EATCS Monographs in Theoretical Computer Science. Springer-Verlag, Berlin, 1985."},{"key":"11_CR20","series-title":"Lect Notes Comput Sci","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998."},{"key":"11_CR21","volume-title":"COSA User Manual","author":"Software-Ley","year":"1998","unstructured":"Software-Ley. COSA User Manual. Software-Ley GmbH, Pullheim, Germany, 1998."},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R. Valette","year":"1979","unstructured":"R. Valette. Analysis of Petri Nets by Stepwise Refinements. Journal of Computer and System Sciences, 18:35\u201346, 1979.","journal-title":"Journal of Computer and System Sciences"},{"key":"11_CR23","unstructured":"E. Verbeek and W.M.P. van der Aalst. Woflan Home Page. \n                    http:\/\/www.win.tue.nl\/~woflan\n                    \n                  ."},{"key":"11_CR24","series-title":"Computing Science Report","volume-title":"Diagnosing Workflow Processes using Woflan","author":"H.M.W. Verbeek","year":"1999","unstructured":"H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow Processes using Woflan. Computing Science Report 99\/02, Eindhoven University of Technology, Eindhoven, 1999."},{"key":"11_CR25","volume-title":"Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011)","author":"WFMC","year":"1996","unstructured":"WFMC. Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussels, 1996."},{"key":"11_CR26","unstructured":"M. Wolf and U. Reimer, editors. Proceedings of the International Conference on Practical Aspects of Knowledge Management (PAKM\u201996), Workshop on Adaptive Workflow, Basel, Switzerland, Oct 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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,20]],"date-time":"2019-02-20T23:06:00Z","timestamp":1550703960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45594-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540674542","9783540455943"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45594-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}