{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:15Z","timestamp":1742617155932,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:21:25Z","timestamp":1330269685000},"page":"59-78","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic validation of a Remote Procedure Call protocol"],"prefix":"10.1007","author":[{"given":"N.","family":"Bennacer","sequence":"first","affiliation":[]},{"given":"G.","family":"Florin","sequence":"additional","affiliation":[]},{"given":"C.","family":"Fraize","sequence":"additional","affiliation":[]},{"given":"S.","family":"Natkin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"5_CR1","unstructured":"M. Ajmone-Marsan, G. Balbo, G. Chiola, G. Conte and A. Cumani. On Petri nets with stochastic timing. PNPM85, IEE CN 85CH2 187-3, Turin, July, 1985."},{"key":"5_CR2","unstructured":"J. Barancourt. Mod\u00e9lisation et validation d'un protocole de RPC. Rapport de stage de DEA de syst\u00e8mes informatiques, Universit\u00e9 de Paris VI, 1991."},{"key":"5_CR3","unstructured":"N. Bennacer and G. Florin S. Natkin. Probabilistic validation using worst event driven and importance sampling simulation. CEDRIC Report 93-14 submitted to the 13th symposium on Reliable Distributed Systems, October, 1994."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"K. Barkaoui G. Florin C. Fraize B. Lemaire S. Natkin. Reliability analysis of non repairable systems using stochastic Petri nets. 18th Symposium on Fault Tolerant and Computing Systems, Tokyo, June 1988.","DOI":"10.1109\/FTCS.1988.5302"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"A. R. Cavalli and E. Paul. Exhaustive analysis and simulation for distributed systems, both sides of the same coin. Distributed computing, n 2, 1988.","DOI":"10.1007\/BF01872847"},{"key":"5_CR6","unstructured":"E. Cinlar. Introduction to stochastic processes. Prentice Hall 1975."},{"key":"5_CR7","first-page":"230","volume":"6","author":"A. E. Conway","year":"1987","unstructured":"A. E. Conway and A. Goyal. Monte Carlo simulation of computer system availability\/reliability models. Proceeding of the seventeenth symposium on Fault Tolerant Computing vol 6, pp 230\u2013235, 1987.","journal-title":"Proceeding of the seventeenth symposium on Fault Tolerant Computing"},{"key":"5_CR8","unstructured":"Chorus distributed operating systems C. Delorme. Sp\u00e9cifications de l'IPC Chorus V3.3, documentation interne, CS\/TN-89-18, February, 1990."},{"issue":"n4","key":"5_CR9","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1016\/0026-2714(91)90009-V","volume":"31","author":"G. Florin","year":"1991","unstructured":"G. Florin C. Fraize S. Natkin. Stochastic Petri nets: properties, applications and tools. Micro-electronics and reliability, vol 31, n 4, pp 669\u2013698, 1991.","journal-title":"Micro-electronics and reliability"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"G. Florin C. Fraize S. Natkin. A new approach of formal proof: probabilistic validation. International working conference on Dependable Computing for Critical Applications, Tucson, Arizona, pp 18\u201320, February, 1991.","DOI":"10.1007\/978-3-7091-9198-9_17"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"G. Florin C. Fraize S. Natkin. Searching best paths to worst states. International working conference on Petri Nets Performance Models, Melbourne, pp 204\u2013209, December, 1991.","DOI":"10.1109\/PNPM.1991.238800"},{"key":"5_CR12","volume-title":"Th\u00e8se de Doctorat","author":"C. Fraize","year":"1993","unstructured":"C. Fraize. Validation Probabiliste des syst\u00e8mes s\u00e9curitaires ou distribu\u00e9s mod\u00e9lis\u00e9s en termes de r\u00e9seaux de Petri Stochastiques. Th\u00e8se de Doctorat, CNAM Paris, February, 1993."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"P. W. Glynn D. L. Iglehart. Importance Sampling for stochastic simulations. Management Science, vol 35, n 11, November, 1989.","DOI":"10.1287\/mnsc.35.11.1367"},{"key":"5_CR14","volume-title":"Design for safety using temporal logic","author":"J. Gorski","year":"1986","unstructured":"J. Gorski. Design for safety using temporal logic. Safecomp, Sarlat, France, 1986."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"B. T. Halpern and S. Oowicki. Modular verification of computer communication protocols. IEEE transactions on communications, vol com-31. n 1, 1983.","DOI":"10.1109\/TCOM.1983.1095720"},{"key":"5_CR16","first-page":"135","volume":"n 2","author":"J. P. Haas","year":"1988","unstructured":"J. P. Haas and G. S. Shedler. Modelling power of stochastic Petri nets for simulation. Probability in the engineering and information sciences, n 2, pp 135\u2013159, 1988.","journal-title":"Probability in the engineering and information sciences"},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0029-5493(84)90060-8","volume":"77","author":"E. E. Lewis","year":"1984","unstructured":"E. E. Lewis F. B\u00f6hm. Monte Carlo simulation of Markov unreliability models. Nuclear Engineering and Design, vol 77, pp 49\u201362, 1984.","journal-title":"Nuclear Engineering and Design"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"V. F. Nicola M. K. Nakayama P. Heidelberger A. Goyal. Fast simulation of dependability models with general failure, repair and maintenance processes. Proceedings of the twentieth symposium on fault-tolerant computing, pp 491\u2013498, June, 1990.","DOI":"10.1109\/FTCS.1990.89387"},{"key":"5_CR19","unstructured":"J. P. C. Kleijnen. Statistical Techniques in simulation. Part 1 Marcel Dekker, 1974."},{"key":"5_CR20","unstructured":"M. Silva. Structural analysis of Petri nets. Tutorials PNPM93, Toulouse, October, 1993."},{"key":"5_CR21","unstructured":"A. Tanenbaum. Communication networks. Second edition. Prentice-Hall editions."}],"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_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:20:59Z","timestamp":1742595659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}