{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:32:02Z","timestamp":1758274322799},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437871"},{"type":"electronic","value":"9783540480686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_13","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T07:01:43Z","timestamp":1182150103000},"page":"203-216","source":"Crossref","is-referenced-by-count":3,"title":["Characterizing Liveness of Petri Nets in Terms of Siphons"],"prefix":"10.1007","author":[{"given":"Li","family":"Jiao","sequence":"first","affiliation":[]},{"given":"To-Yat","family":"Cheung","sequence":"additional","affiliation":[]},{"given":"Weiming","family":"Lu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"issue":"4","key":"13_CR1","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, Vol. 77, No. 4 (1989) 541\u2013580: The Stanford Digital Library Metadata Architecture. Int. J. Digit. Libr. 1 (1997) 108-121.","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1006\/inco.1994.1080","volume":"114","author":"J. Esparza","year":"1994","unstructured":"Esparza, J.: Reduction and Synthesis of Live and Bounded Free Choice Petri Nets. Information and Computation, Vol. 114, No. 1 (1994) 50\u201387.","journal-title":"Information and Computation"},{"key":"13_CR3","unstructured":"Mak, W. M.: Verifying Property Preservation for Component-Based Software Systems (A Petri-net Based Methodology). PhD Thesis, Dept. of Computer Science, City University of Hong Kong, June 2001."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0022-0000(83)90029-6","volume":"27","author":"I. Suzuki","year":"1983","unstructured":"Suzuki, I. and Murata, T.: A Method for Stepwise Refinement and Abstraction of Petri Nets. Journal of Computer and System Sciences, Vol. 27 (1983) 51\u201376.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1109\/3468.650328","volume":"28","author":"T. Y. Cheung","year":"1998","unstructured":"Cheung, T. Y. and Zeng, W.: Invariant-preserving Transformations for the Verification of Place\/Transition Systems. IEEE Transactions on Systems, Man and Cybernetics-Part A: Systems and Humans, Vol. 28, No. 1 (1998) 114\u2013121.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics-Part A: Systems and Humans"},{"key":"13_CR6","series-title":"Lect Notes Comput Sci","first-page":"243","volume-title":"On the Analysis and Synthesis of Free Choice Systems","author":"J. Esparza","year":"1990","unstructured":"Esparza, J. and Silva, M.: On the Analysis and Synthesis of Free Choice Systems. Lecture Notes in Computer Science, Vol. 483. Springer-Verlag, (1990) 243\u2013286."},{"key":"13_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-47919-2_8","volume-title":"Structure Theory of Petri Nets: the Free Choice Hiatus","author":"E. Best","year":"1987","unstructured":"Best, E.: Structure Theory of Petri Nets: the Free Choice Hiatus. Lecture Notes in Computer Science, Vol. 254. Springer-Verlag, (1987) 168\u2013205."},{"key":"13_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","volume-title":"Linear Algebraic and Linear Programming Techniques for the Analysis of Place\/Transition Net Systems","author":"M. Sliva","year":"1998","unstructured":"Sliva, M., Teruel, E. and Colom, J. M.: Linear Algebraic and Linear Programming Techniques for the Analysis of Place\/Transition Net Systems. Lecture Notes in Computer Science, Vol. 1491. Springer-Verlag, (1998) 309\u2013373."},{"issue":"6","key":"13_CR9","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F. Chu","year":"1997","unstructured":"Chu, F. and Xie, X.: Deadlock Analysis of Petri Nets Using Siphon and Mathematical Programming. IEEE Trans. on Robotics and Automation, Vol. 13, No. 6 (1997) 793\u2013804.","journal-title":"IEEE Trans. on Robotics and Automation"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Desel, J. and Esparza, T.: Free Choice Petri Nets. Cambridge University Press (1995).","DOI":"10.1017\/CBO9780511526558"},{"key":"13_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/3-540-61363-3_4","volume-title":"On Liveness and Controlled Siphons in Petri Nets","author":"K. Barkaoui","year":"1996","unstructured":"Barkaoui, K. and Pradat-Peyre, J.: On Liveness and Controlled Siphons in Petri Nets. Lecture Notes in Computer Science, Vol. 1091. Springer-Verlag, (1996) 57\u201372."},{"issue":"5","key":"13_CR12","first-page":"590","volume":"11","author":"Q. Zhen","year":"2000","unstructured":"Zhen, Q. and Lu, W. M.: On Liveness and Safeness of Asymmetric Choice Nets. Journal of Chinese Software, Vol. 11, No. 5 (2000) 590\u2013605.","journal-title":"Journal of Chinese Software"},{"key":"13_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/3-540-60029-9_32","volume-title":"On Liveness in Extended Non Self-Controlling Nets","author":"K. Barkaoui","year":"1995","unstructured":"Barkaoui, K., Couvreur, J. M. and Dutheiliet C.: On Liveness in Extended Non Self-Controlling Nets. Lecture Notes in Computer Science, Vol. 935. Springer-Verlag, (1995) 25\u201344."},{"key":"13_CR14","series-title":"Lect Notes Comput Sci","first-page":"358","volume-title":"Liveness in Bounded Petri Nets Which are covered by t-invariants","author":"H. Ridder","year":"1994","unstructured":"Ridder, H. and Lautenbach, K.: Liveness in Bounded Petri Nets Which are covered by t-invariants. Lecture Notes in Computer Science, Vol. 815. Springer-Verlag, (1994) 358\u2013378."},{"key":"13_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-55676-1_4","volume-title":"A Polynomial-time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets","author":"K. Barkaoui","year":"1992","unstructured":"Barkaoui, K. and Minoux, M.: A Polynomial-time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets. Lecture Notes in Computer Science, Vol. 616. Springer-Verlag, (1992) 62\u201375."},{"key":"13_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-45740-2_12","volume-title":"Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets","author":"M. V. Iordache","year":"2001","unstructured":"Iordache, M. V. and Antsaklis, P. J.: Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets. Lecture Notes in Computer Science, Vol. 2075. Springer-Verlag, (2001) 184\u2013203."},{"key":"13_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BFb0019979","volume-title":"On Liveness Preservation by Composition of Nets via a Set of Places","author":"Y. Souissi","year":"1991","unstructured":"Souissi, Y.: On Liveness Preservation by Composition of Nets via a Set of Places. Lecture Notes in Computer Science, Vol. 524. Springer-Verlag, (1991) 277\u2013295."},{"key":"13_CR18","unstructured":"Jiao, L., Lu, W. M. and Cheung, T. Y.: On Liveness Monotonicity of Petri Nets. Proceeding of 2001 International Technical Conference on Circuits\/Systems, Computers and Communications, Tokushima, Japan (2001) 311\u2013315."},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0304-3975(92)90299-U","volume":"102","author":"J. Esparza","year":"1992","unstructured":"Esparza, J. and Silva, M.: A Polynomial-time Algorithm to Decide Liveness of Bounded Free Choice Nets. Theoretical Computer Science 102 (1992) 185\u2013205.","journal-title":"Theoretical Computer Science"},{"key":"13_CR20","volume-title":"TR-94","author":"M. Holk","year":"1972","unstructured":"Holk, M.: Analysis of Production Schemata by Petri Nets. TR-94, MIT, Project MAC, Boston 1972, (a second version appeared in 1974)."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T05:43:33Z","timestamp":1550382213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}