{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:41Z","timestamp":1725663761893},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540538639"},{"type":"electronic","value":"9783540463696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53863-1_29","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:14:17Z","timestamp":1330208057000},"page":"287-312","source":"Crossref","is-referenced-by-count":1,"title":["Petri net models of a distributed election protocol on a unidirectional ring"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Florin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Kaiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Natkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"11_CR1","unstructured":"K.Barkaoui, G.Florin, C.Fraize, B.Lemaire, S.Natkin Reliability Analysis of Non Repairable Systems using Stochastic Petri Nets, proc FTCS 18, Tokyo, july 88."},{"key":"11_CR2","unstructured":"G. W. Brams, Les r\u00e9seaux de Petri: Th\u00e9orie et pratique, Masson ed, Paris 1981."},{"issue":"5","key":"11_CR3","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/359104.359108","volume":"22","author":"E.J. Chang","year":"1979","unstructured":"CHANG E.J., ROBERTS R. An Improved Algorithm for Decentralized Extrema \u2014 Finding in Circular Configurations of Processors. Comm.ACM vol 22, 5 (May 1979) pp 281\u2013283.","journal-title":"Comm.ACM"},{"key":"11_CR4","unstructured":"M. Corazza, Techniques math\u00e9matiques de la fiabilit\u00e9 pr\u00e9visionnelle, Cepadues ed, Toulouse 1975."},{"issue":"1","key":"11_CR5","first-page":"143","volume":"4","author":"G. Florin","year":"1985","unstructured":"FLORIN G., NATKIN S. Les r\u00e9seaux de Petri stochastiques. TSI vol 4,1 (1985) pp 143\u2013160.","journal-title":"TSI"},{"key":"11_CR6","volume-title":"RDPS: a software package for the evaluation and the validation of dependable computer systems","author":"G. Florin","year":"1986","unstructured":"G. Florin, S. Natkin, \"RDPS: a software package for the evaluation and the validation of dependable computer systems\", SAFECOMP86, Sarlat, France, 1986."},{"key":"11_CR7","volume-title":"Les r\u00e9seaux de Petri stochastiques a graphe de marquages sans circuits: Theorie et application a l'analyse de la fiabilite et des performances des systemes informatiques Ingeneer dissertation","author":"C. Fraize","year":"1988","unstructured":"FRAIZE C. Les r\u00e9seaux de Petri stochastiques a graphe de marquages sans circuits: Theorie et application a l'analyse de la fiabilite et des performances des systemes informatiques Ingeneer dissertation, CNAM, Paris, October 1988."},{"key":"11_CR8","unstructured":"JEAN-MARIE A., BACCELLI F. The Centaurs race, INRIA research report, august 88."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"JENSEN K. Coloured Petri Nets and the Invariant Method, Theoretical Computer Science 14 (1981)","DOI":"10.1016\/0304-3975(81)90049-9"},{"issue":"1","key":"11_CR10","first-page":"48","volume":"31","author":"M. H. Garcia","year":"1981","unstructured":"GARCIA MOLINA H. Elections in a Distributed Computing system. IEEE Trans on Soft. Eng. Vol 31,1 (Jan 1981) p 48\u201359.","journal-title":"IEEE Trans on Soft. Eng."},{"key":"11_CR11","unstructured":"KAISER C. Election sur un anneau par parcours de reconnaissance;TSI vol 8 No 3, 1989 (Also available as CEDRIC research report)."},{"key":"11_CR12","unstructured":"LELANN G. Distributed Systems. Towards a Formal Approach. IFIP Congress 1977. North Holland (1977) pp 155\u2013160."},{"key":"11_CR13","unstructured":"RAYNAL M. Algorithmes distribu\u00e9s et protocoles. Eyrolles (1985) 142 p."},{"key":"11_CR14","unstructured":"ZENIE A. Coloured Stochastic Petri nets, Int Workshop on Timed Petri nets, Torino, Italy, July 1985"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1990"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53863-1_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:05Z","timestamp":1605646265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53863-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540538639","9783540463696"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-53863-1_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}