{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:22:46Z","timestamp":1759638166353},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642136740"},{"type":"electronic","value":"9783642136757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13675-7_16","type":"book-chapter","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T15:26:50Z","timestamp":1276270010000},"page":"267-286","source":"Crossref","is-referenced-by-count":13,"title":["New Algorithms for Deciding the Siphon-Trap Property"],"prefix":"10.1007","author":[{"given":"Olivia","family":"Oanea","sequence":"first","affiliation":[]},{"given":"Harro","family":"Wimmel","sequence":"additional","affiliation":[]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-55676-1_4","volume-title":"Application and Theory of Petri Nets 1992","author":"K. Barkaoui","year":"1992","unstructured":"Barkaoui, K., Minoux, M.: A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol.\u00a0616, pp. 62\u201375. Springer, Heidelberg (1992)"},{"key":"16_CR2","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":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N. E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol.\u00a02919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"16_CR4","first-page":"245","volume":"52","author":"J. Esparza","year":"1994","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for Petri nets. Petri Nets Newsletter\u00a052, 245\u2013262 (1994)","journal-title":"Petri Nets Newsletter"},{"key":"16_CR5","unstructured":"Hack, M.H.T.: Analysis of Production Schemata by Petri Nets. Master\u2019s thesis, MIT, Dept. Electrical Engineering, Cambridge, Mass (1972)"},{"key":"16_CR6","unstructured":"INA. Integrated Net Analyzer (2003), \n                    \n                      http:\/\/www2.informatik.hu-berlin.de\/~starke\/ina.html"},{"key":"16_CR7","series-title":"LNCIS","first-page":"87","volume-title":"Dynamic Analysis of Petri Net-based Discrete Systems","author":"A. Karatkevich","year":"2007","unstructured":"Karatkevich, A.: Analysis by solving logical equations \u2013 calculation of siphons and traps. In: Dynamic Analysis of Petri Net-based Discrete Systems. LNCIS, vol.\u00a0356, pp. 87\u201393. Springer, Heidelberg (2007)"},{"key":"16_CR8","unstructured":"Mennicke, S., Oanea, O., Wolf, K.: Decomposition into open nets. In: AWPN 2009. CEUR Workshop Proceedings, vol.\u00a0501, pp. 29\u201334. CEUR-WS.org (2009)"},{"key":"16_CR9","unstructured":"MiniSat. Minimalistic, open-source SAT solver (2007), \n                    \n                      http:\/\/www.minisat.se"},{"key":"16_CR10","unstructured":"Minoux, M., Barkaoui, K.: Polynomial algorithms for proving or disproving Commoner\u2019s property in Petri nets. In: Proceedings 9th Workshop on Theory and Applications of Petri Nets, vol.\u00a01, pp. 113\u2013125 (1988)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Zaitsev, D.A.: Decomposition of Petri nets. Cybernetics and Systems Analysis\u00a0(5), 131\u2013140 (2004)","DOI":"10.1007\/s10559-005-0012-0"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13675-7_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:10:23Z","timestamp":1619784623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13675-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136740","9783642136757"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13675-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}