{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:11:05Z","timestamp":1737349865976,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708803"},{"type":"electronic","value":"9783540708810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70881-0_21","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:07:32Z","timestamp":1186171652000},"page":"235-247","source":"Crossref","is-referenced-by-count":4,"title":["Verifying Generalized Soundness of Workflow Nets"],"prefix":"10.1007","author":[{"given":"Kees","family":"van Hee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivia","family":"Oanea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Voorhoeve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"21_CR1","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":"21_CR2","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)"},{"unstructured":"Bagnara, R., Hill, P., Zaffanela, E.: The Parma Polyhedra Library user\u2019s manual. Department of Mathematics, University of Parma, Italy. http:\/\/www.cs.unipr.it\/ppl\/Documentation","key":"21_CR3"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-45789-5_17","volume-title":"Static Analysis","author":"R. Bagnara","year":"2002","unstructured":"Bagnara, R., et al.: Possibly not closed convex polyhedra and the Parma Polyhedra Library. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 213\u2013229. Springer, Heidelberg (2002)"},{"unstructured":"Berthelot, G.: Verification de Reseaux de Petri. PhD thesis, Universite Pierre et Marie Curie, Paris (1978)","key":"21_CR5"},{"unstructured":"Commoner, F.: Deadlocks in Petri Nets. Report CA-7206-2311, Applied Data Research, Inc., Wakefield, Massachusetts (1972)","key":"21_CR6"},{"unstructured":"de Frutos Escrig, D., Johnen, C.: Decidability of home space property. Technical report, Univ. de Paris-Sud, Centre d\u2019Orsay, Laboratoire de Recherche en Informatique Report LRI\u2013503 (July 1989)","key":"21_CR7"},{"key":"21_CR8","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri nets. Cambridge Tracts in Theoretical Computer Science, vol.\u00a040. Cambridge University Press, Cambridge (1995)"},{"key":"21_CR9","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":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-3-540-27793-4_12","volume-title":"Applications and Theory of Petri Nets 2004","author":"K. Hee van","year":"2004","unstructured":"van Hee, K., Sidorova, N., Voorhoeve, M.: Generalized soundness of workflow nets is decidable. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 197\u2013216. Springer, Heidelberg (2004)"},{"key":"21_CR11","first-page":"238","volume-title":"Conference Proceedings of the 13th Annual ACM Symposium on Theory of Computation, STOC\u20191981","author":"E.W. Mayr","year":"1981","unstructured":"Mayr, E.W.: An algorithm for the general Petri net reachability problem. In: Conference Proceedings of the 13th Annual ACM Symposium on Theory of Computation, STOC\u20191981, pp. 238\u2013246. ACM Press, New York (1981)"},{"issue":"4","key":"21_CR12","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"7","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a07(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"unstructured":"Ping, L., Hao, H.: On 1-soundness and soundness of workflow nets. In: Third Workshop on Modelling of Objects, Components, and Agents Aarhus, Denmark, October 11-13, 2004, pp. 21\u201336 (2004)","key":"21_CR13"},{"unstructured":"Post, R.: YASPER Petri net editor. Department of Mathematics and Computer Science, Technical University Eindhoven, The Netherlands, http:\/\/www.yasper.org","key":"21_CR14"},{"key":"21_CR15","volume-title":"The mathematics of Petri nets","author":"C. Reutenauer","year":"1990","unstructured":"Reutenauer, C.: The mathematics of Petri nets. Prentice-Hall, Englewood Cliffs (1990)"},{"key":"21_CR16","series-title":"Wiley-Interscience series in discrete mathematics","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. Wiley-Interscience series in discrete mathematics. Wiley, Chichester (1986)"},{"issue":"2","key":"21_CR17","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.ipl.2005.06.002","volume":"96","author":"F.L. Tiplea","year":"2005","unstructured":"Tiplea, F.L., Marinescu, D.C.: Structural soundness for workflow nets is decidable. Information Processing Letters\u00a096(2), 54\u201358 (2005)","journal-title":"Information Processing Letters"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-17218-1_51","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"W. Vogler","year":"1987","unstructured":"Vogler, W.: Behaviour preserving refinement of Petri nets. In: Tinhofer, G., Schmidt, G. (eds.) WG 1986. LNCS, vol.\u00a0246, pp. 82\u201393. Springer, Heidelberg (1987)"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-55767-9","volume-title":"Modular Construction and Partial Order Semantics of Petri Nets","author":"W. Vogler","year":"1992","unstructured":"Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets. LNCS, vol.\u00a0625. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70881-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T03:45:40Z","timestamp":1737344740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70881-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540708803","9783540708810"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70881-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}