{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:39Z","timestamp":1725664179130},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580218"},{"type":"electronic","value":"9783540484165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58021-2_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:06:41Z","timestamp":1330268801000},"page":"266-283","source":"Crossref","is-referenced-by-count":9,"title":["Experiences on SIMD massively parallel GSPN analysis"],"prefix":"10.1007","author":[{"given":"S.","family":"Caselli","sequence":"first","affiliation":[]},{"given":"G.","family":"Conte","sequence":"additional","affiliation":[]},{"given":"F.","family":"Bonardi","sequence":"additional","affiliation":[]},{"given":"M.","family":"Fontanesi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"15_CR1","volume-title":"Proc. 2nd Int. Workshop Applied Mathematics & Performance\/Reliability Models of Computer\/Communication Systems","author":"M. A. Marsan","year":"1987","unstructured":"M. Ajmone Marsan, G. Balbo, G. Chiola, and G., Conte. Applicability of stochastic Petri nets to performance modeling. In G. Iazeolla, P.J. Courtois, and O.J. Boxma, editors, Proc. 2 nd Int. Workshop Applied Mathematics & Performance\/Reliability Models of Computer\/Communication Systems, Roma, Italy, May 1987. North-Holland."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2(1), May 1984.","DOI":"10.1145\/190.191"},{"key":"15_CR3","volume-title":"The Design and Analysis of Parallel Algorithms","author":"S. G. Akl","year":"1989","unstructured":"S.G. Akl. The Design and Analysis of Parallel Algorithms. Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"key":"15_CR4","volume-title":"Technical Report 1520","author":"F. Baccelli","year":"1991","unstructured":"F. Baccelli and M. Canales. Parallel simulation of stochastic Petri nets using recursive equations. Technical Report 1520, INRIA, Sophia-Antipolis, France, September 1991."},{"key":"15_CR5","volume-title":"On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets","author":"G. Balbo","year":"1987","unstructured":"G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar Roet. On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets. In Proc. Int. Workshop on Petri Nets and Performance Models, Madison, WI, USA, August. 1987. IEEE-CS Press."},{"key":"15_CR6","unstructured":"F. Bonardi. Tecniche parallele di analisi di reti di Petri stocastiche: sparo delle transizioni abilitate ed evoluzione delle marcature. Master's thesis, Univ. di Parma, July 1993."},{"key":"15_CR7","volume-title":"Proc. Parma-CM Users Meeting","author":"F. Bonardi","year":"1993","unstructured":"F. Bonardi, M. Caselli, S. Caselli, and G. Conte. A parallel approach to stochastic Petri net analysis. In Proc. Parma-CM Users Meeting, Dip. di Ingegneria dell'Informazione, University of Parma, Italy, July 1993."},{"issue":"3","key":"15_CR8","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0743-7315(92)90004-7","volume":"15","author":"P. Buchholz","year":"1992","unstructured":"P. Buchholz. A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis. Journal of Parallel and Distributed Computing, 15(3):207\u2013224, 1992.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"15_CR9","unstructured":"M. Caselli. Tecniche parallele di analisi di reti di Petri stocastiche: costruzione del grafo di raggiungibilita'. Master's thesis, Univ. di Parma, March 1993."},{"key":"15_CR10","volume-title":"GSPN models of concurrent architectures with mesh topology","author":"S. Caselli","year":"1991","unstructured":"S. Caselli and G. Conte. GSPN models of concurrent architectures with mesh topology. In Proc. Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991. IEEE-CS Press."},{"key":"15_CR11","unstructured":"G. Chiola. GreatSPN 1.5 software architecture. In Proc. 5 th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991."},{"key":"15_CR12","unstructured":"G. Chiola. A simulation framework for timed and stochastic Petri nets. International Journal of Computer Simulation, 1991. Special Issue on Simulation of Multiple Processor Networks."},{"key":"15_CR13","volume-title":"Working Paper DII-CE-WP003-93","author":"M. Fontanesi","year":"1993","unstructured":"M. Fontanesi. Generazione del grafo di raggiungibilita\u2019 di reti di Petri stocastiche generalizzate: Confronto fra algoritmi sequenziale e parallelo. Working Paper DII-CE-WP003-93, Dip. di Ingegneria dell'Informazione, Univ. di Parma, Parma, Italy, September 1993."},{"key":"15_CR14","volume-title":"Working Paper DII-CE-WP002-93","author":"M. Fontanesi","year":"1993","unstructured":"M. Fontanesi. Modelli a reti di Petri di sistemi di produzione complessi. Working Paper DII-CE-WP002-93, Dip. di Ingegneria dell'Informazione, Univ. di Parma, Parma, Italy, July 1993."},{"key":"15_CR15","volume-title":"Structurally bounded stochastic Petri nets","author":"M. K. Molloy","year":"1997","unstructured":"M. K. Molloy. Structurally bounded stochastic Petri nets. In Proc. Int. Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 1997. IEEE-CS Press."},{"issue":"4","key":"15_CR16","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, April 1989.","journal-title":"Proceedings of the IEEE"},{"key":"15_CR17","volume-title":"Technical report","author":"TMC","year":"1991","unstructured":"TMC. The CM-2 technical summary. Technical report, Thinking Machine Corporation, Cambridge, MA, 1991."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58021-2_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:11Z","timestamp":1605647771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58021-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580218","9783540484165"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58021-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}