{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:45:19Z","timestamp":1742913919200,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319194875"},{"type":"electronic","value":"9783319194882"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19488-2_12","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T05:13:45Z","timestamp":1433394825000},"page":"234-253","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On the Reversibility of Live Equal-Conflict Petri Nets"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Hujsa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Delosme","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alix","family":"Munier-Kordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,4]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0304-3975(77)90059-7","volume":"4","author":"T Araki","year":"1977","unstructured":"Araki, T., Kasami, T.: Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets. Theoretical Computer Science 4(1), 99\u2013119 (1977)","journal-title":"Theoretical Computer Science"},{"key":"12_CR2","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)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-29709-0_1","volume-title":"Perspectives of Systems Informatics","author":"E Best","year":"2012","unstructured":"Best, E., Darondeau, P.: Petri net distributability. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol. 7162, pp. 1\u201318. Springer, Heidelberg (2012)"},{"key":"12_CR4","unstructured":"de Frutos Escrig, D., Johnen, C.: Decidability of Home Space Property. Tech. Rep. LRI-503, Univ. de Paris-Sud, Centre d\u2019Orsay, LRI (1989)"},{"key":"12_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science","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)"},{"issue":"1\u20132","key":"12_CR6","doi-asserted-by":"crossref","first-page":"147","DOI":"10.3233\/FI-2013-786","volume":"122","author":"S Haddad","year":"2013","unstructured":"Haddad, S., Mairesse, J., Nguyen, H.T.: Synthesis and Analysis of Product-form Petri Nets. Fundamenta Informaticae 122(1\u20132), 147\u2013172 (2013)","journal-title":"Fundamenta Informaticae"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-07734-5_18","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"T Hujsa","year":"2014","unstructured":"Hujsa, T., Delosme, J.-M., Munier-Kordon, A.: On the reversibility of well-behaved weighted choice-free systems. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 334\u2013353. Springer, Heidelberg (2014)"},{"issue":"9","key":"12_CR8","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. Proceedings of the IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proceedings of the IEEE"},{"key":"12_CR9","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-1-4471-4276-8_13","volume-title":"Control of Discrete-event Systems","author":"J-P L\u00f3pez-Grao","year":"2013","unstructured":"L\u00f3pez-Grao, J.-P., Colom, J.-M.: Structural Methods for the Control of Discrete Event Dynamic Systems \u2013 The Case of the Resource Allocation Problem. In: Seatzu, C., Silva Su\u00e1rez, M., van Schuppen, J.H. (eds.) Control of Discrete-event Systems. LNCIS, vol. 433, pp. 257\u2013278. Springer, Heidelberg (2013)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-10001-6_24","volume-title":"Net Theory and Applications","author":"G Memmi","year":"1980","unstructured":"Memmi, G., Roucairol, G.: Linear Algebra in Net Theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol. 84, pp. 213\u2013223. Springer, Heidelberg (1980)"},{"issue":"4","key":"12_CR11","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/3-540-61363-3_24","volume-title":"Application and Theory of Petri Nets 1996","author":"L Recalde","year":"1996","unstructured":"Recalde, L., Teruel, E., Silva, M.: SC*ECS: a class of modular and hierarchical cooperating systems. In: Billington, J., Reisig, W. (eds.) Application and Theory of Petri Nets 1996. LNCS, vol. 1091, pp. 440\u2013459. Springer, Heidelberg (1996)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1007\/3-540-08921-7_95","volume-title":"Mathematical Foundations of Computer Science","author":"J Sifakis","year":"1978","unstructured":"Sifakis, J.: Structural properties of petri nets. In: Winkowski, J. (ed.) Mathematical Foundations of Computer Science. LNCS, vol. 64, pp. 474\u2013483. Springer, Heidelberg (1978)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-55676-1_20","volume-title":"Application and Theory of Petri Nets 1992","author":"E Teruel","year":"1992","unstructured":"Teruel, E., Chrzastowski-Wachtel, P., Colom, J.M., Silva, M.: On Weighted T-systems. In: Jensen, K. (ed.) Application and Theory of Petri Nets 1992. LNCS, vol. 616, pp. 348\u2013367. Springer, Heidelberg (1992)"},{"issue":"1","key":"12_CR15","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 Transactions on Systems, Man and Cybernetics, Part A 27(1), 73\u201383 (1997)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A"},{"key":"12_CR16","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: Marsan, M.A. (ed.) Application and Theory of Petri Nets 1993. LNCS, vol. 691, pp. 415\u2013432. Springer, Heidelberg (1993)"},{"issue":"1&2","key":"12_CR17","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. Theoretical Computer Science 153(1&2), 271\u2013300 (1996)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19488-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T04:07:38Z","timestamp":1675138058000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19488-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194875","9783319194882"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19488-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"4 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}