{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:01:46Z","timestamp":1743134506742,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319077338"},{"type":"electronic","value":"9783319077345"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-07734-5_18","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T09:57:34Z","timestamp":1404208654000},"page":"334-353","source":"Crossref","is-referenced-by-count":4,"title":["On the Reversibility of Well-Behaved Weighted Choice-Free Systems"],"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","reference":[{"issue":"9","key":"18_CR1","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E.A. Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous Data Flow. Proceedings of the IEEE\u00a075(9), 1235\u20131245 (1987)","journal-title":"Proceedings of the IEEE"},{"key":"18_CR2","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.\u00a07162, pp. 1\u201318. Springer, Heidelberg (2012)"},{"issue":"4","key":"18_CR3","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\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"18_CR4","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\u00a027(1), 73\u201383 (1997)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A"},{"key":"18_CR5","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.) ICATPN 1992. LNCS, vol.\u00a0616, pp. 348\u2013367. Springer, Heidelberg (1992)"},{"key":"18_CR6","unstructured":"Barkaoui, K., Petrucci, L.: Structural Analysis of Workflow Nets with Shared Resources. In: van\u00a0der Aalst, W.M.P., De\u00a0Michelis, G., Ellis, C.A. (eds.) Proceedings of Workflow Management: Net-Based Concepts, Models, Techniques and Tools (WFM 1998). Computing Science Report, vol.\u00a098\/7, pp. 82\u201395 (1998)"},{"key":"18_CR7","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.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 415\u2013432. Springer, Heidelberg (1993)"},{"issue":"2","key":"18_CR8","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 Transactions on Robotics and Automation\u00a014(2), 267\u2013277 (1998)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0016204","volume-title":"Advances in Petri Nets 1985","author":"G. Berthelot","year":"1986","unstructured":"Berthelot, G., Lri-Iie: Checking Properties of Nets Using Transformations. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol.\u00a0222, pp. 19\u201340. Springer, Heidelberg (1986)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","volume-title":"Advances in Petri Nets 1986","author":"G. Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and Decompositions of Nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 359\u2013376. Springer, Heidelberg (1987)"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-662-05324-9_16","volume-title":"Petri Nets for Systems Engineering","author":"J. Colom","year":"2003","unstructured":"Colom, J., Teruel, E., Silva, M., Haddad, S.: Structural Methods. In: Petri Nets for Systems Engineering, pp. 277\u2013316. Springer, Heidelberg (2003)"},{"key":"18_CR12","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.\u00a084, pp. 213\u2013223. Springer, Heidelberg (1980)"},{"key":"18_CR13","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.\u00a064, pp. 474\u2013483. Springer, Heidelberg (1978)"},{"issue":"1-2","key":"18_CR14","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0304-3975(95)00124-7","volume":"153","author":"Enrique Teruel","year":"1996","unstructured":"Teruel, E., Silva, M.: Structure theory of Equal Conflict systems. Theoretical Computer Science\u00a0153(1&2), 271\u2013300 (1996)","journal-title":"Theoretical Computer Science"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-07135-0_113","volume-title":"Parallel Processing","author":"R.M. Keller","year":"1975","unstructured":"Keller, R.M.: A Fundamental Theorem of Asynchronous Parallel Computation. In: Feng, T.-Y. (ed.) Parallel Processing. LNCS, vol.\u00a024, pp. 102\u2013112. Springer, Heidelberg (1975)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-68746-7_7","volume-title":"Applications and Theory of Petri Nets","author":"E. Best","year":"2008","unstructured":"Best, E., Darondeau, P.: Decomposition Theorems for Bounded Persistent Petri Nets. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol.\u00a05062, pp. 33\u201351. Springer, Heidelberg (2008)"},{"issue":"2","key":"18_CR17","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1137\/0205020","volume":"5","author":"Y.E. Lien","year":"1976","unstructured":"Lien, Y.E.: Termination Properties of Generalized Petri Nets. SIAM Journal on Computing\u00a05(2), 251\u2013265 (1976)","journal-title":"SIAM Journal on Computing"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Delosme, J.M., Hujsa, T., Munier-Kordon, A.: Polynomial Sufficient Conditions of Well-behavedness for Weighted Join-Free and Choice-Free Systems. In: Proceedings of the 13th International Conference on Application of Concurrency to System Design (ACSD 2013), pp. 90\u201399 (2013)","DOI":"10.1109\/ACSD.2013.12"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Hujsa, T., Delosme, J.M., Munier-Kordon, A.: Polynomial Sufficient Conditions of Well-behavedness and Home Markings in Subclasses of Weighted Petri Nets. Transactions on Embedded Computing Systems (to appear, 2014)","DOI":"10.1145\/2627349"},{"issue":"2","key":"18_CR20","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1016\/j.ejor.2008.07.037","volume":"197","author":"O. Marchetti","year":"2009","unstructured":"Marchetti, O., Munier-Kordon, A.: A Sufficient Condition for the Liveness of Weighted Event Graphs. European Journal of Operational Research\u00a0197(2), 532\u2013540 (2009)","journal-title":"European Journal of Operational Research"}],"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-07734-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T01:21:58Z","timestamp":1558920118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07734-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077338","9783319077345"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07734-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}