{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:09:46Z","timestamp":1754482186888},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_40","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:30:39Z","timestamp":1330259439000},"page":"181-200","source":"Crossref","is-referenced-by-count":23,"title":["Parallel state space exploration for GSPN models"],"prefix":"10.1007","author":[{"given":"S.","family":"Caselli","sequence":"first","affiliation":[]},{"given":"G.","family":"Conte","sequence":"additional","affiliation":[]},{"given":"P.","family":"Marenzoni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"12_CR1","volume-title":"Applicability of stochastic Petri nets to performance modeling","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. 2nd Int. Workshop Applied Mathematics & Performance\/Reliability Models of Computer\/Communication Systems, Roma, Italy, May 1987. North-Holland."},{"issue":"n.2","key":"12_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/32.214828","volume":"19","author":"M. A. Marsan","year":"1993","unstructured":"M. Ajmone Marsan, G. Balbo, G. Chiola and G. Conte: Generalized stochastic Petri nets: A definition at the net level and its implications. IEEE Trans. on Software Engineering, Vol. 19 n.2 (1993), 89\u2013107.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"12_CR3","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":"12_CR4","unstructured":"G. Chiola: GreatSPN 1.5 software architecture. In Proc. 5th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991."},{"key":"12_CR5","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":"12_CR6","doi-asserted-by":"crossref","unstructured":"G. Chiola and G. Franceschinis: A Structural Colour Simplification in Well-Formed Coloured Nets. In Proc. 4th Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.","DOI":"10.1109\/PNPM.1991.238773"},{"key":"12_CR7","volume-title":"Structurally bounded stochastic Petri nets","author":"M. K. Molloy","year":"1987","unstructured":"M. K. Molloy: Structurally bounded stochastic Petri nets. In Proc. Int. Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 1987. IEEECS Press."},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-58021-2_15","volume":"794","author":"S. Caselli","year":"1994","unstructured":"S. Caselli, G. Conte, F. Bonardi and M. Fontanesi: Experiences on SIMD Massively Parallel GSPN Analysis. Lecture Notes in Computer Science 794 (1994) 266\u2013283.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"K. Mani Chandy and Jayadev Misra: Parallel Program Design. Addison-Wesley (1988).","DOI":"10.1007\/978-1-4613-9668-0_6"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:28:11Z","timestamp":1605630491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}