{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:34:03Z","timestamp":1753522443842},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646778"},{"type":"electronic","value":"9783540691082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_13","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:45:11Z","timestamp":1186425911000},"page":"226-245","source":"Crossref","is-referenced-by-count":9,"title":["Iterative Decomposition and Aggregation of Labeled GSPNs"],"prefix":"10.1007","author":[{"given":"Peter","family":"Buchholz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"13_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proc. CAV\u201997","author":"C. Baier","year":"1997","unstructured":"C. Baier, H. Hermanns; Weak bisimulation for fully probabilistic processes; In: Proc. CAV\u201997, Springer LNCS 1254 (1997)."},{"key":"13_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-60029-9_39","volume-title":"16th Int. Conference on Application and Theory of Petri Nets","author":"P. Buchholz","year":"1995","unstructured":"P. Buchholz; A notion of equivalence for stochastic Petri nets; In: G. De Michelis, M. Diaz (eds.); 16th Int. Conference on Application and Theory of Petri Nets, Springer LNCS 935 (1995) 161\u2013180."},{"key":"13_CR3","unstructured":"P. Buchholz; Efficient computation of equivalent and reduced representations for stochastic automata; to appear in Int. Journ. of Comp. Sys. Sci. & Eng."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"P. Buchholz; Hierarchical Structuring of superposed GSPNs; In: Proc. of the 7th Int. Work. on Petri Nets and Performance Models, IEEE CS-Press (1997) 81\u201390.","DOI":"10.1109\/PNPM.1997.595539"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/32.214828","volume":"19","author":"G. Chiola","year":"1993","unstructured":"G. Chiola, M. Ajmone Marsan, G. Balbo, G. Conte; Generalized stochastic Petri nets: a definition at the net level and its implications; IEEE Trans. on Softw. Eng. 19 (1993) 89\u2013107.","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"J. Campos, J. M. Colom, H. Jungnitz, M. Silva; A general iterative technique for approximate throughput computation of stochastic marked graphs; In: Proc. of the 5th Int. Work. on Petri Nets and Performance Models, IEEE CS-Press (1993) 138\u2013147.","DOI":"10.1109\/PNPM.1993.393427"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"H. Choi, K. Trivedi; Approximate performance models of polling systems using stochastic Petri nets; In: Proc. of the Infocom 92, IEEE CS-Press (1992) 2306\u20132314.","DOI":"10.1109\/INFCOM.1992.263520"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"R. Cleaveland, J. Parrow, B. Steffen; The concurrency workbench: a semantics based tool for the verification of concurrent systems; ACM Trans. on Prog. Lang. and Sys. 15 (1993) 36\u201372.","journal-title":"ACM Trans. on Prog. Lang. and Sys."},{"key":"13_CR9","doi-asserted-by":"publisher","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 amenable to parallel solution; Performance Evaluation 18 (1993) 21\u201336.","journal-title":"Performance Evaluation"},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-58152-9_15","volume-title":"Application and Theory of Petri Nets 1994","author":"S. Donatelli","year":"1994","unstructured":"S. Donatelli; Superposed generalized stochastic Petri nets: definition and efficient solution; In: R. Valette (ed.), Application and Theory of Petri Nets 1994, Springer LNCS 815 (1994) 258\u2013277."},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1016\/0743-7315(92)90009-C","volume":"15","author":"H. Jungnitz","year":"1992","unstructured":"H. Jungnitz, B. Sanchez, M. Silva; Approximate throughput computation of stochastic marked graphs; Journ. of Parallel and Distributed Computing 15 (1992) 282\u2013295.","journal-title":"Journ. of Parallel and Distributed Computing"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/32.541433","volume":"22","author":"P. Kemper","year":"1996","unstructured":"P. Kemper; Numerical analysis of superposed GSPNs; IEEE Trans. on Softw. Eng. 22 (1996) 615\u2013628.","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"13_CR13","unstructured":"Y. Li, C. M. Woodside; Iterative decomposition of stochastic marked graph Petri nets; In: Proc. of the 12th Int. Conf. on Theory and Appl. of Petri Nets (1991) 257\u2013275."},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1109\/12.376171","volume":"44","author":"Y. Li","year":"1995","unstructured":"Y. Li, C. M. Woodside; Complete decomposition of stochastic Petri nets representing generalized service networks; IEEE Trans. on Comp. 44 (1995) 577\u2013592.","journal-title":"IEEE Trans. on Comp."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"V. Mainkar, K. S. Trivedi; Fixed point iteration using stochastic reward nets; IEEE Trans. on Softw. Eng. 22 (1996).","DOI":"10.1109\/32.541435"},{"key":"13_CR16","unstructured":"R. Milner; Communication and concurrency; Prentice Hall 1989."},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1145\/317786.317819","volume":"13","author":"B. Plateau","year":"1985","unstructured":"B. Plateau; On the stochastic structure of parallelism and synchronisation models for distributed algorithms; Performance Evaluation Review 13 (1985) 142\u2013154.","journal-title":"Performance Evaluation Review"},{"key":"13_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","volume-title":"Advances in Petri Nets 1992","author":"L. Pomello","year":"1992","unstructured":"L. Pomello, G. Rozenberg, C. Simone; A survey of equivalence relations for net based systems; In: G. Rozenberg (ed.); Advances in Petri Nets 1992; Springer LNCS 609 (1992) 410\u2013472."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:49:07Z","timestamp":1556740147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}