{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:32Z","timestamp":1725663812286},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:49Z","timestamp":1330269649000},"page":"491-510","source":"Crossref","is-referenced-by-count":8,"title":["Well-formedness of Equal Conflict systems"],"prefix":"10.1007","author":[{"given":"Enrique","family":"Teruel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"E. Best, editor. Final Report of Esprit BRA 3148 (DEMON), Feb. 1993. GMD-Studien Nr.217.","key":"27_CR1"},{"unstructured":"G. W. BRAMS. R\u00e9seaux de Petri: Th\u00e9orie et Pratique. Masson, 1983.","key":"27_CR2"},{"issue":"12","key":"27_CR3","doi-asserted-by":"crossref","first-page":"1368","DOI":"10.1109\/9.106153","volume":"36","author":"J. Campos","year":"1991","unstructured":"J. Campos, G. Chiola, and M. Silva. Properties and performance bounds for closed Free Choice synchronized monoclass queueing networks. IEEE Trans, on Automatic Control, 36(12):1368\u20131382, 1991.","journal-title":"IEEE Trans, on Automatic Control"},{"unstructured":"J. M. Colom, J. Campos, and M. Silva. On liveness analysis through linear algebraic techniques. In Procs. of the AGM of Esprit BRA 3148 (DEMON), 1990.","key":"27_CR4"},{"doi-asserted-by":"crossref","unstructured":"J. Desel. A proof of the rank theorem for Extended Free Choice nets. In Jensen [9], pages 134\u2013153.","key":"27_CR5","DOI":"10.1007\/3-540-55676-1_8"},{"doi-asserted-by":"crossref","unstructured":"J. Esparza and M. Silva. On the analysis and synthesis of Free Choice systems. In Rozenberg [15], pages 243\u2013286.","key":"27_CR6","DOI":"10.1007\/3-540-53863-1_28"},{"unstructured":"M. H. T. Hack. Analysis of production schemata by Petri nets. Master's thesis, MIT, 1972. (Corrections in Computation Structures Note 17, 1974).","key":"27_CR7"},{"unstructured":"A. W. Holt and F. Commoner. Events and conditions. Appl. Data Research, 1970.","key":"27_CR8"},{"doi-asserted-by":"crossref","unstructured":"K. Jensen, editor. Application and Theory of Petri Nets 1992, volume 616 of Lecture Notes in Computer Science. Springer Verlag, 1992.","key":"27_CR9","DOI":"10.1007\/3-540-55676-1"},{"issue":"3","key":"27_CR10","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1109\/TC.1982.1675975","volume":"31","author":"W. E. Kluge","year":"1982","unstructured":"W. E. Kluge and K. Lautenbach. The orderly resolution of memory access conflicts among competing channel processes. IEEE Trans. on Computers, 31(3):194\u2013207, 1982.","journal-title":"IEEE Trans. on Computers"},{"issue":"2","key":"27_CR11","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1137\/0205020","volume":"5","author":"Y. E. Lien","year":"1976","unstructured":"Y. E. Lien. Termination properties of generalized Petri nets. Siam Journal on Computing, 5(2):251\u2013265, 1976.","journal-title":"Siam Journal on Computing"},{"doi-asserted-by":"crossref","unstructured":"G. Memmi and G. Roucairol. Linear algebra in net theory. In W. Brauer, editor, Net Theory and Applications, volume 84 of Lecture Notes in Computer Science, pages 213\u2013223. Springer Verlag, 1979.","key":"27_CR12","DOI":"10.1007\/3-540-10001-6_24"},{"issue":"4","key":"27_CR13","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541\u2013580, 1989.","journal-title":"Proceedings of the IEEE"},{"unstructured":"K. G. Murty. Linear Programming. Wiley and Sons, 1983.","key":"27_CR14"},{"doi-asserted-by":"crossref","unstructured":"G. Rozenberg, editor. Advances in Petri, Nets 1990, volume 483 of Lecture Notes in Computer Science. Springer Verlag, 1991.","key":"27_CR15","DOI":"10.1007\/3-540-53863-1"},{"unstructured":"M. W. Shields. An Introduction to Automata Theory. Blackwell Scientific Publications, 1987.","key":"27_CR16"},{"unstructured":"M. Silva. Las Redes de Petri: en la Autorn\u00e1tica y la Informdtica. AC, 1985.","key":"27_CR17"},{"doi-asserted-by":"crossref","unstructured":"E. Teruel, P. Chrzastowski, J. M. Colom, and M. Silva. On Weighted T-systems. In Jensen [9], pages 348\u2013367.","key":"27_CR18","DOI":"10.1007\/3-540-55676-1_20"},{"unstructured":"E. Teruel, J. M. Colom, and M. Silva. Modelling and analysis of deteministic concurrent systems with bulk services and arrivals. In M. Cosnard and R. Puigjaner, editors, Decentralized and Distributed Systems, pages 213\u2013224. IFIP Transactions A-39, Elsevier, 1994.","key":"27_CR19"},{"doi-asserted-by":"crossref","unstructured":"E. Teruel and M. Silva. Liveness and home states in Equal Conflict systems. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 415\u2013432. Springer Verlag, 1993.","key":"27_CR20","DOI":"10.1007\/3-540-56863-8_59"},{"key":"27_CR21","volume-title":"Research Report GISI-RR-93-22","author":"E. Teruel","year":"1993","unstructured":"E. Teruel and M. Silva. Structure theory of Equal Conflict systems. Research Report GISI-RR-93-22, DIEL Univ. Zaragoza, Nov. 1993. (Revised in Mar. 1994, 30 pages)."},{"issue":"2","key":"27_CR22","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0019-9958(84)80052-2","volume":"61","author":"P. S. Thiagarajan","year":"1984","unstructured":"P. S. Thiagarajan and K. Voss. A fresh look at Free Choice nets. Information and Control, 61(2):85\u2013113, 1984.","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:23Z","timestamp":1605647843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}