{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:03:59Z","timestamp":1753520639507},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:31:08Z","timestamp":1330277468000},"page":"161-180","source":"Crossref","is-referenced-by-count":8,"title":["A notion of equivalence for stochastic Petri nets"],"prefix":"10.1007","author":[{"given":"Peter","family":"Buchholz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"11_CR1","unstructured":"T. Bolognesi, S.A. Smolka; Fundamental results for the verification of observational equivalence: a survey; In: H. Rudin, C. West (eds.), Protocol Specification, Testing and Verification VII, North Holland (1987) 165\u2013179."},{"key":"11_CR2","unstructured":"P. Buchholz; On a Markovian process algebra; Universit\u00e4t Dortmund, Fachbereich Informatik, Forschungsbericht Nr. 500 (1994)."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"P. Buchholz; Equivalence relations for stochastic automata networks; In: W. J. Stewart (ed.) Computation with Markov Chains, Kluwer (1995) 197\u2013216.","DOI":"10.1007\/978-1-4615-2241-6_13"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"59","DOI":"10.2307\/3215235","volume":"31","author":"P. Buchholz","year":"1994","unstructured":"P. Buchholz; Exact and ordinary lumpability in finite Markov chains; Journ. of Appl. Prob. 31 (1994) 59\u201375.","journal-title":"Journ. of Appl. Prob."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"G. Chiola, G. Dutheillet, G. Franceschinis, S. Haddad; Stochastic Well-Formed Coloured Nets for symmetric modelling applications; IEEE Trans. on Comp. 42 (1993).","DOI":"10.1109\/12.247838"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0166-5316(91)90003-L","volume":"12","author":"G. Ciardo","year":"1991","unstructured":"G. Ciardo, J. Muppala, K. S. Trivedi; On the solution of GSPN reward models; Performance Evaluation 12 (1991) 237\u2013252.","journal-title":"Performance Evaluation"},{"key":"11_CR7","doi-asserted-by":"crossref","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":"11_CR8","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/TC.1981.6312174","volume":"30","author":"M. Davio","year":"1981","unstructured":"M. Davio, Kronecker products and shuffle algebra, IEEE Trans. on Comp. 30 (1981) 116\u2013125.","journal-title":"IEEE Trans. on Comp."},{"key":"11_CR9","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 amenable to parallel solution; Performance Evaluation 18 (1993) 21\u201336.","journal-title":"Performance Evaluation"},{"key":"11_CR10","first-page":"258","volume-title":"Lecture Notes in Computer Science","author":"Susanna 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":"11_CR11","unstructured":"J. Hillston; A compositional approach for performance modelling; PhD thesis, University of Edinburgh, Dep. of Comp. Sc. (1994)."},{"key":"11_CR12","unstructured":"J.G. Kemeny, J.L. Snell; Finite Markov Chains; Springer (1976)."},{"key":"11_CR13","unstructured":"R. Milner; Communication and concurrency; Prentice Hall 1989."},{"key":"11_CR14","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M. Molloy","year":"1982","unstructured":"M. Molloy; Performance analysis using stochastic Petri nets; IEEE Trans. on Comp. 31 (1982) 913\u2013917.","journal-title":"IEEE Trans. on Comp."},{"key":"11_CR15","unstructured":"D. Park; Concurrency and automata on infinite sequences; In: P. Deusseu (ed.), Proc. 5th GI Conf. on Theor. Comp. Sci., Springer LNCS 104 (1981) 167\u2013183."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"B. Plateau; On the stochastic structure of parallelism and synchronisation models for distributed algorithms, In: Proc. ACM Sigmetrics Conference on Measurement and Modeling of Computer Systems, Austin (1985).","DOI":"10.1145\/317795.317819"},{"key":"11_CR17","first-page":"410","volume-title":"Lecture Notes in Computer Science","author":"L. Pomello","year":"1992","unstructured":"L. Pomello, G. Rozenberg, C. Simone; A survey of equivalence notions for net based systems; In: G. Rozenberg (ed.); Advances in Petri Nets 1992; Springer LNCS 609 (1992) 410\u2013472."},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/49.64901","volume":"9","author":"W. H. Sanders","year":"1991","unstructured":"W. H. Sanders, J. F. Meyer; Reduced base model construction methods for stochastic activity networks; IEEE Journ. on Select. Areas in Comm. 9 (1991) 25\u201336.","journal-title":"IEEE Journ. on Select. Areas in Comm."},{"key":"11_CR19","unstructured":"A. Valmari; Compositional state space generation; In: G. Rozenberg (ed.), Advances in Petri Nets 93, Springer LNCS 674 (1993) 427\u2013457."}],"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_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:10Z","timestamp":1605648490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}