{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:55:59Z","timestamp":1778298959111,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540581529","type":"print"},{"value":"9783540484622","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:14Z","timestamp":1330269614000},"page":"258-277","source":"Crossref","is-referenced-by-count":53,"title":["Superposed Generalized Stochastic Petri Nets: Definition and efficient solution"],"prefix":"10.1007","author":[{"given":"Susanna","family":"Donatelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"4","key":"15_CR1","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1016\/0026-2714(91)90010-5","volume":"31","author":"M. Ajmone Marsan","year":"1991","unstructured":"M. Ajmone Marsan, G. Balbo, G. Chiola, G. Conte, S. Donatelli, and G. Franceschinis. An introduction to Generalized Stochastic Petri Nets. Microelectronics and Reliability, 31(4):699\u2013725, 1991. Special issue on Petri nets and related graph models.","journal-title":"Microelectronics and Reliability"},{"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","doi-asserted-by":"crossref","unstructured":"G. Balbo, S. Donatelli, and G. Franceschinis. Understanding parallel programs behaviour through Petri net models. Journal of Parallel and Distributed Computing, 15(3), 1992.","DOI":"10.1016\/0743-7315(92)90002-5"},{"key":"15_CR4","volume-title":"Stochastic petri net modeling for dependability evaluation of complex computer system","author":"C. Beounes","year":"1985","unstructured":"C. Beounes. Stochastic petri net modeling for dependability evaluation of complex computer system. In Proc. of the International Workshop on Timed Petri nets, Torino, Italy, July 1985. IEEE-CS Press."},{"key":"15_CR5","unstructured":"P. Buchholz. Numerical solution methods based on structured descriptions of Markovian models. In Proc. 5 th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"G. Chiola, S. Donatelli, and G. Franceschinis. GSPN versus SPN: what is the actual role of immediate transitions? In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.","DOI":"10.1109\/PNPM.1991.238785"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets and multiprocessor modelling applications. In K. Jensen and G. Rozenberg, editors, High-Level Petri Nets. Theory and Application. Springer Verlag, 1991.","DOI":"10.1007\/978-3-642-84524-6_19"},{"key":"15_CR8","unstructured":"Giovanni 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_CR9","doi-asserted-by":"crossref","unstructured":"G. Ciardo and K.S. Trivedi. A decomposition approach for Stochastic Petri net models. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.","DOI":"10.1109\/PNPM.1991.238780"},{"issue":"2","key":"15_CR10","first-page":"1099","volume":"30","author":"M. Davio","year":"1981","unstructured":"M. Davio. Kronacker products and shuffle algebra. IEEE Transactions on Computers, 30(2):1099\u20131109, 1981.","journal-title":"IEEE Transactions on Computers"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, and C. Simone. Superposed automata nets. In C. Girault and W. Reisig, editors, Application and Theory of Petri Nets. IFB 52, New York and London, 1982.","DOI":"10.1007\/978-3-642-68353-4_44"},{"key":"15_CR12","unstructured":"F. DeCindio and O. Botti. Comparing Occam2 program placements by a GSPN model. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991."},{"key":"15_CR13","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0166-5316(93)90025-P","volume":"18","author":"S. Donatelli","year":"1993","unstructured":"S. Donatelli. Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space. Performance Evaluation, 18:21\u201336, 1993.","journal-title":"Performance Evaluation"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"S. Donatelli, G. Franceschinis, N. Mazzocca, and S. Russo. Software architecture of the epoca integrated environment. In Proc. of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, May 1994.","DOI":"10.1007\/3-540-58021-2_19"},{"key":"15_CR15","volume-title":"The design of a unified package for the solution of stochastic Petri net models","author":"J.B. Dugan","year":"1985","unstructured":"J.B. Dugan, A. Bobbio, and G. Ciardo K.S. Trivedi. The design of a unified package for the solution of stochastic Petri net models. In Proc. Int. Workshop on Timed Petri Nets, Torino, Italy, July 1985. IEEE-CS Press."},{"key":"15_CR16","first-page":"29","volume-title":"Matrix product form solution for closed synchronized queueing networks","author":"G. Florin","year":"1989","unstructured":"G. Florin and S. Natkin. Matrix product form solution for closed synchronized queueing networks. In Proc. 3rd Intern. Workshop on Petri Nets and Performance Models, pages 29\u201339, Kyoto, Japan, December 1989. IEEE-CS Press."},{"key":"15_CR17","first-page":"12","volume-title":"Aggregation methods in exact performance analysis of stochastic Petri nets","author":"W. Henderson","year":"1989","unstructured":"W. Henderson and P.G. Taylor. Aggregation methods in exact performance analysis of stochastic Petri nets. In Proc. 3rd Intern. Workshop on Petri Nets and Performance Models, pages 12\u201318, Kyoto, Japan, December 1989. IEEE-CS Press."},{"key":"15_CR18","unstructured":"I.E. Jelly and J.P. Grey. Prototyping parallel systems: a performanve evaluation approach. In Proc. ISMM Conference on Parallel and Distributed Computing Systems, Pittsburgh, USA, October 1992."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"A.A. Lazar and T.G. Robertazzi. Markovian Petri net protocols with product form solution. In Proc. of IEEE INFOCOM'87, San Francisco, CA, USA, March 1987. Also in Performance Evaluation, Vol.12, 1991, pp.67\u201377.","DOI":"10.1016\/0166-5316(91)90016-V"},{"issue":"9","key":"15_CR20","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"M.K. Molloy. Performance analysis using stochastic Petri nets. IEEE Transaction on Computers, 31(9):913\u2013917, September 1982.","journal-title":"IEEE Transaction on Computers"},{"key":"15_CR21","volume-title":"Timed and stochastic Petri nets: from the validation to the performance of synchronization schemes","author":"S. Natkin","year":"1985","unstructured":"S. Natkin. Timed and stochastic Petri nets: from the validation to the performance of synchronization schemes. In Proc. Int. Workshop on Timed Petri Nets, Torino, Italy, July 1985. IEEE-CS Press."},{"key":"15_CR22","unstructured":"B. Plateau. Repartition, parallelisme et des elements de leur valutation. PhD thesis, (in french), Paris, France, 1981."},{"key":"15_CR23","first-page":"147","volume-title":"Proc. 1985 SIGMETRICS Conference","author":"B. Plateau","year":"1985","unstructured":"B. Plateau. On the stochastic structure of parallelism and synchronization models for distributed algorithms. In Proc. 1985 SIGMETRICS Conference, pages 147\u2013154, Austin, TX, USA, August 1985. ACM."},{"key":"15_CR24","first-page":"291","volume-title":"Modeling techniques and tools for computer performance evaluation","author":"B. Plateau","year":"1990","unstructured":"B. Plateau. Peps: a package for solving complex Markov models of parallel systems. In R. Puigjaner and D. Poiter, editors, Modeling techniques and tools for computer performance evaluation, pages 291\u2013306. Plenum Press, New York and London, 1990."},{"issue":"10","key":"15_CR25","doi-asserted-by":"crossref","first-page":"1093","DOI":"10.1109\/32.99196","volume":"17","author":"B. Plateau","year":"1991","unstructured":"B. Plateau and K. Atif. Stochastic automata network for modeling parallel systems. IEEE Transactions on Software Engineering, 17(10):1093\u20131108, 1991.","journal-title":"IEEE Transactions on Software Engineering"}],"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_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:20Z","timestamp":1605647840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}