{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T07:48:55Z","timestamp":1768549735979,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540613633","type":"print"},{"value":"9783540685050","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61363-3_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:35:25Z","timestamp":1330292125000},"page":"57-72","source":"Crossref","is-referenced-by-count":103,"title":["On liveness and controlled siphons in Petri nets"],"prefix":"10.1007","author":[{"given":"Kamel","family":"Barkaoui","sequence":"first","affiliation":[]},{"given":"Jean-Fran\u00e7ois","family":"Pradat-Peyre","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"K. Barkaoui, J.M Couvreur, and C. Duteilhet. On liveness in extended non self-controlling nets in application and theory of Petri nets. LNCS, 935, 1995.","DOI":"10.1007\/3-540-60029-9_32"},{"key":"4_CR2","unstructured":"K. Barkaoui and B. Lemaire. An effective characterization of minimal deadlocks and traps based on graph theory. 10th ICATPN, 1989."},{"key":"4_CR3","first-page":"62","volume":"No. 616","author":"K. Barkaoui","year":"1992","unstructured":"K. Barkaoui and M. Minoux. A polynomial time graph algorithm to decide liveness of some basic classes of bounded Petri nets. LNCS, No. 616:62\u201375, 1992.","journal-title":"LNCS"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"E. Best. Structure theory of Petri nets: The free choice hiatus. In G. Rozenberg W. Brauer, W. Resig, editor, LNCS, volume No. 255. Springer-Verlag, 1986.","DOI":"10.1007\/978-3-540-47919-2_8"},{"key":"4_CR5","unstructured":"G.W. BRAMS. R\u00e9seaux de Petri: Theorie et pratique. Masson, 1983."},{"key":"4_CR6","first-page":"134","volume":"No. 616","author":"J. Desel","year":"1992","unstructured":"J. Desel. A proof of the rank theorem for extended free choice nets. LNCS, No. 616:134\u2013153, 1992.","journal-title":"LNCS"},{"key":"4_CR7","unstructured":"F. Dicesare, G. Harhalakis, J.M. Proth, M. Silva, and F.B. Vernadat. Practice of Petri Nets in Manufacturing. Chapman-Hall, 1995."},{"key":"4_CR8","first-page":"185","volume":"N 102","author":"J. Esparza","year":"1992","unstructured":"J. Esparza and M. Silva. A polynomial-time algorithm to decide liveness of bounded free-choice nets. T.C.S, N 102:185\u2013205, 1992.","journal-title":"T.C.S"},{"key":"4_CR9","volume-title":"MS Thesis","author":"M.H.T. Hack","year":"1974","unstructured":"M.H.T. Hack. Analysis of production schemata by Petri nets. In Cambridge, Mass.: MIT, MS Thesis, 1974."},{"key":"4_CR10","unstructured":"M. Jantzen and R. Valk. Formal properties of P\/T nets. LNCS, No. 84, 1981."},{"key":"4_CR11","first-page":"263","volume":"No. 616","author":"P. Kemper","year":"1992","unstructured":"P. Kemper and F. Bause. An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets. LNCS, No. 616:263\u2013278, 1992.","journal-title":"LNCS"},{"key":"4_CR12","unstructured":"W. Reisig. EATCS-An Introduction to Petri Nets. Springer-Verlag, 1983."},{"key":"4_CR13","first-page":"358","volume":"No. 815","author":"H. Ridder","year":"1994","unstructured":"H. Ridder and K. Lautenbach. Liveness in bounded Petri nets which are covered by t-invariants. LNCS, No. 815:358\u2013375, 1994.","journal-title":"LNCS"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"M. Zhou and F. DiCesare. Petri nets Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic, 1993.","DOI":"10.1007\/978-1-4615-3126-5"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61363-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:33:34Z","timestamp":1640946814000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61363-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613633","9783540685050"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61363-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}