{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T08:53:16Z","timestamp":1753519996118},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540524946"},{"type":"electronic","value":"9783540469988"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52494-0_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:32:47Z","timestamp":1330187567000},"page":"30-50","source":"Crossref","is-referenced-by-count":9,"title":["Improving the efficiency of the analysis of DSPN models"],"prefix":"10.1007","author":[{"given":"M. Ajmone","family":"Marsan","sequence":"first","affiliation":[]},{"given":"G.","family":"Chiola","sequence":"additional","affiliation":[]},{"given":"A.","family":"Fumagalli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Ajmone Marsan, M. and G. Chiola, On Petri Nets with Deterministic and Exponential Transition Firing Times, in Proc. 7th European Workshop on Application and Theory of Petri Nets, Oxford, England, June 1986.","DOI":"10.1007\/3-540-18086-9_23"},{"key":"2_CR2","first-page":"132","volume":"266","author":"M. Ajmone Marsan","year":"1987","unstructured":"Ajmone Marsan, M. and G. Chiola, On Petri Nets with Deterministic and Exponentially Distributed Firing Times, in Advances on Petri Nets '87, ed. G. Rozenberg, LNCS 266, pp. 132\u2013145, Springer Verlag, 1987.","journal-title":"LNCS"},{"key":"2_CR3","volume-title":"On the Integration of Delay and Throughout Measures in Distributed Processing Models","author":"M.K. Molloy","year":"1981","unstructured":"Molloy, M.K., On the Integration of Delay and Throughout Measures in Distributed Processing Models, Ph.D. Thesis, UCLA, Los Angeles, CA, 1981."},{"issue":"9","key":"2_CR4","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"C-31","author":"M.K. Molloy","year":"1982","unstructured":"Molloy, M.K., Performance Analysis Using Stochastic Petri Nets, IEEE Transaction on Computers, vol. C-31, no. 9, pp. 913\u2013917, September 1982.","journal-title":"IEEE Transaction on Computers"},{"key":"2_CR5","volume-title":"Les Reseaux de Petri Stochastiques et Leur Application a l'Evaluation des Systemes Informatiques","author":"S. Natkin","year":"1980","unstructured":"Natkin, S., Les Reseaux de Petri Stochastiques et Leur Application a l'Evaluation des Systemes Informatiques, These de Docteur Ingegneur, CNAM, Paris, France, 1980."},{"issue":"1","key":"2_CR6","first-page":"143","volume":"4","author":"G. Florin","year":"1985","unstructured":"Florin, G. and S. Natkin, Les Reseaux de Petri Stochastiques, TSI, vol. 4, no. 1, pp. 143\u2013160, February 1985.","journal-title":"TSI"},{"issue":"1","key":"2_CR7","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., G. Balbo, and G. Conte, A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems, ACM Transactions on Computer Systems, vol. 2, no. 1, pp. 93\u2013122, May 1984.","journal-title":"ACM Transactions on Computer Systems"},{"key":"2_CR8","volume-title":"Proc. Int. Workshop on Petri Nets and Performance Models","author":"M. Ajmone Marsan","year":"1987","unstructured":"Ajmone Marsan, M., G. Balbo, G. Chiola, and G. Conte, Generalized Stochastic Petri Net Revisited: Random Switches and Priorities, in Proc. Int. Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., K.S. Trivedi, R.M. Geist, and V.F. Nicola, Extended Stochastic Petri Nets: Applications and Analysis, in Proc. PERFORMANCE '84, Paris, France, December 1984.","DOI":"10.21236\/ADA148439"},{"key":"2_CR10","unstructured":"Ajmone Marsan, M., G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, On Petri Nets with Stochastic Timing, in Proc. International Workshop on Timed Petri Nets, Torino, Italy, July 1985."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Ajmone Marsan, M., G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets, IEEE Transactions on Software Engineering, vol. SE-15, no. 7, July 1989.","DOI":"10.1109\/32.29483"},{"key":"2_CR12","volume-title":"Proc. Int. Workshop on Petri Nets and Performance Models","author":"M. Ajmone Marsan","year":"1987","unstructured":"Ajmone Marsan, M., and V. Signore, Timed Petri Net Performance Models of Fiber Optics LAN Architectures, in Proc. Int. Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987."},{"issue":"5","key":"2_CR13","doi-asserted-by":"crossref","first-page":"898","DOI":"10.1109\/JSAC.1983.1145995","volume":"SAC-1","author":"F. A. Tobagi","year":"1983","unstructured":"Tobagi, F. A., F. Borgonovo, and L. Fratta, Expressnet: a High Performance Integrated Service Local Area Network, IEEE Journal on Selected Areas in Communications, vol. SAC-1, no. 5, pp. 898\u2013913, November 1983.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"2_CR14","unstructured":"Fumagalli, A., Reti di Petri Temporizzate per l' Analisi di Protocolli di Comunicazione Tesi di Laurea, Politecnico di Torino, 1987 (in Italian)."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52494-0_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:24:12Z","timestamp":1605630252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52494-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540524946","9783540469988"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-52494-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}