{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T20:36:25Z","timestamp":1771101385235,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540263012","type":"print"},{"value":"9783540315599","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494744_15","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T02:31:09Z","timestamp":1279074669000},"page":"250-267","source":"Crossref","is-referenced-by-count":20,"title":["Soundness of Resource-Constrained Workflow Nets"],"prefix":"10.1007","author":[{"given":"Kees","family":"van Hee","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Serebrenik","sequence":"additional","affiliation":[]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Voorhoeve","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248. Springer, Heidelberg (1997)"},{"issue":"1","key":"15_CR2","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"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)"},{"key":"15_CR4","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)"},{"key":"15_CR5","unstructured":"Barkaoui, K., Petrucci, L.: Structural analysis of workflow nets with shared resources. In: Workflow management: Net-based Concepts, Models, Techniques and Tools (WFM 1998). Computing science reports, vol.\u00a098\/7, pp. 82\u201395. Eindhoven University of Technology (1998)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-44919-1_3","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Colom","year":"2003","unstructured":"Colom, J.: The resource allocation problem in flexible manufacturing systems. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 23\u201335. Springer, Heidelberg (2003)"},{"key":"15_CR7","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1990","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press, Cambridge (1990)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Ewd 623. Selected writings on computing: a personal perspective (1982)","DOI":"10.1007\/978-1-4612-5695-3"},{"key":"15_CR9","volume-title":"Petri nets for systems engineering","author":"J. Ezpeleta","year":"2003","unstructured":"Ezpeleta, J.: Flexible manufacturing systems. In: Girault, C., Valk, R. (eds.) Petri nets for systems engineering. Springer, Heidelberg (2003)"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J. Ezpeleta","year":"1995","unstructured":"Ezpeleta, J., Colom, J.M., Mart\u00ednez, J.: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation\u00a011(2), 173\u2013184 (1995)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"15_CR11","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. Hee van","year":"2003","unstructured":"van Hee, K., 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":"15_CR12","unstructured":"Lautenbach, K.: Liveness in Petri Nets. Internal Report of the Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bonn, Germany, ISF\/75-02-1 (1975)"},{"issue":"3","key":"15_CR13","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/S0947-3580(97)70077-3","volume":"3","author":"M. Silva","year":"1997","unstructured":"Silva, M., Teruel, E.: Petri nets for the design and operation of manufacturing systems. European Journal of Control\u00a03(3), 182\u2013199 (1997)","journal-title":"European Journal of Control"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-52494-0_38","volume-title":"Advances in Petri Nets 1989","author":"M. Silva","year":"1990","unstructured":"Silva, M., Valette, R.: Petri nets and flexible manufacturing. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol.\u00a0424, pp. 374\u2013417. Springer, Heidelberg (1990)"},{"issue":"20","key":"15_CR15","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/PL00009198","volume":"3","author":"T. Takaoka","year":"1998","unstructured":"Takaoka, T.: Subcubic cost algorithms for the all pairs shortest path problem. Algorithmica\u00a03(20), 309\u2013318 (1998)","journal-title":"Algorithmica"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-44676-1_3","volume-title":"Algorithms - ESA 2001","author":"U. Zwick","year":"2001","unstructured":"Zwick, U.: Exact and approximate distances in graphs - A survey. In: Meyer auf der Heide, F. (ed.) ESA 2001. LNCS, vol.\u00a02161, pp. 33\u201348. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494744_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:05:16Z","timestamp":1740261916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494744_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540263012","9783540315599"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11494744_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}