{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:02:22Z","timestamp":1725886942077},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319578606"},{"type":"electronic","value":"9783319578613"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-57861-3_16","type":"book-chapter","created":{"date-parts":[[2017,5,3]],"date-time":"2017-05-03T22:10:40Z","timestamp":1493849440000},"page":"267-287","source":"Crossref","is-referenced-by-count":3,"title":["On Liveness and Deadlockability in Subclasses of Weighted Petri Nets"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Hujsa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond","family":"Devillers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,5]]},"reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/11494744_7","volume-title":"Applications and Theory of Petri Nets 2005","author":"K Barkaoui","year":"2005","unstructured":"Barkaoui, K., Couvreur, J.-M., Klai, K.: On the equivalence between liveness and deadlock-freeness in Petri nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 90\u2013107. Springer, Heidelberg (2005). doi: 10.1007\/11494744_7"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. 616, pp. 62\u201375. Springer, Heidelberg (1992). doi: 10.1007\/3-540-55676-1_4"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-61363-3_4","volume-title":"Application and Theory of Petri Nets 1996","author":"K Barkaoui","year":"1996","unstructured":"Barkaoui, K., Pradat-Peyre, J.-F.: On liveness and controlled siphons in Petri nets. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol. 1091, pp. 57\u201372. Springer, Heidelberg (1996). doi: 10.1007\/3-540-61363-3_4"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","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":"Cheng, A., Esparza, J., Palsberg, J.: Complexity results for 1-safe nets. In: Shyamasundar, R.K. (ed.) FSTTCS 1993. LNCS, vol. 761, pp. 326\u2013337. Springer, Heidelberg (1993). doi: 10.1007\/3-540-57529-4_66"},{"key":"16_CR5","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":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press, New York (1995)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/3-540-65306-6_20","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J Esparza","year":"1998","unstructured":"Esparza, J.: Decidability and complexity of Petri net problems \u2013 an introduction. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 374\u2013428. Springer, Heidelberg (1998). doi: 10.1007\/3-540-65306-6_20"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for Petri nets\u2013a survey. BRICS Rep. Ser. (8) (1994)","DOI":"10.7146\/brics.v1i8.21662"},{"key":"16_CR8","unstructured":"Heiner, M., Mahulea, C., Silva, M.: On the importance of the deadlock trap property for monotonic liveness. In: International Workshop on Biological Processes and Petri nets (BioPPN), A satellite event of Petri Nets 2010 (2010)"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2627349","volume":"13","author":"T Hujsa","year":"2014","unstructured":"Hujsa, T., Delosme, J.M., Munier-Kordon, A.: Polynomial sufficient conditions of well-behavedness and home markings in subclasses of weighted Petri nets. Trans. Embed. Comput. Syst. 13, 1\u201325 (2014)","journal-title":"Trans. Embed. Comput. Syst."},{"issue":"1","key":"16_CR10","doi-asserted-by":"publisher","first-page":"83","DOI":"10.3233\/FI-2016-1376","volume":"146","author":"T Hujsa","year":"2016","unstructured":"Hujsa, T., Delosme, J.M., Munier-Kordon, A.: On liveness and reversibility of equal-conflict Petri nets. Fundam. Inf. 146(1), 83\u2013119 (2016)","journal-title":"Fundam. Inf."},{"issue":"1\u20133","key":"16_CR11","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0304-3975(03)00359-1","volume":"311","author":"L Jiao","year":"2004","unstructured":"Jiao, L., Cheung, T.Y., Lu, W.: On liveness and boundedness of asymmetric choice nets. Theor. Comput. Sci. 311(1\u20133), 165\u2013197 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"9","key":"16_CR12","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"key":"16_CR13","unstructured":"Lipton, R.: The reachability problem requires exponential space. Technical report 62, Department of Computer Science, Yale University (1976)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-38697-8_5","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"EW Mayr","year":"2013","unstructured":"Mayr, E.W., Weihmann, J.: Results on equivalence, boundedness, liveness, and covering problems of BPP-Petri nets. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 70\u201389. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38697-8_5"},{"issue":"1","key":"16_CR15","doi-asserted-by":"crossref","first-page":"61","DOI":"10.3233\/FI-2015-1170","volume":"137","author":"EW Mayr","year":"2015","unstructured":"Mayr, E.W., Weihmann, J.: Complexity results for problems of communication-free Petri nets and related formalisms. Fundam. Inf. 137(1), 61\u201386 (2015)","journal-title":"Fundam. Inf."},{"issue":"2","key":"16_CR16","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1109\/70.681245","volume":"14","author":"L Recalde","year":"1998","unstructured":"Recalde, L., Teruel, E., Silva, M.: Modeling and analysis of sequential processes that cooperate through buffers. IEEE Trans. Robot. Autom. 14(2), 267\u2013277 (1998)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1007\/3-540-08921-7_95","volume-title":"Mathematical Foundations of Computer Science 1978","author":"J Sifakis","year":"1978","unstructured":"Sifakis, J.: Structural properties of Petri nets. In: Winkowski, J. (ed.) MFCS 1978. LNCS, vol. 64, pp. 474\u2013483. Springer, Heidelberg (1978). doi: 10.1007\/3-540-08921-7_95"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","volume-title":"Lectures on Petri Nets I: Basic Models","author":"M Silva","year":"1998","unstructured":"Silva, M., Teruel, E., Colom, J.M.: Linear algebraic and linear programming techniques for the analysis of place\/transition net systems. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 309\u2013373. Springer, Heidelberg (1998). doi: 10.1007\/3-540-65306-6_19"},{"key":"16_CR19","unstructured":"Teruel, E.: Structure Theory of Weighted Place\/Transition Net Systems: The Equal Conflict Hiatus. Ph.D. thesis, DIEI. University of Zaragoza, Spain (1994)"},{"issue":"1","key":"16_CR20","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/3468.553226","volume":"27","author":"E Teruel","year":"1997","unstructured":"Teruel, E., Colom, J.M., Silva, M.: Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals. IEEE Trans. Syst. Man Cybern. Part A 27(1), 73\u201383 (1997)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-56863-8_59","volume-title":"Application and Theory of Petri Nets 1993","author":"E Teruel","year":"1993","unstructured":"Teruel, E., Silva, M.: Liveness and home states in equal conflict systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 415\u2013432. Springer, Heidelberg (1993). doi: 10.1007\/3-540-56863-8_59"},{"issue":"1&2","key":"16_CR22","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0304-3975(95)00124-7","volume":"153","author":"E Teruel","year":"1996","unstructured":"Teruel, E., Silva, M.: Structure theory of equal conflict systems. Theor. Comput. Sci. 153(1&2), 271\u2013300 (1996)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57861-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,6]],"date-time":"2020-10-06T18:09:06Z","timestamp":1602007746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57861-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319578606","9783319578613"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57861-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}