{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:11:23Z","timestamp":1757311883895},"publisher-location":"Berlin, Heidelberg","reference-count":66,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222651"},{"type":"electronic","value":"9783540246114"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24611-4_8","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:01:10Z","timestamp":1267124470000},"page":"256-295","source":"Crossref","is-referenced-by-count":42,"title":["Kronecker Based Matrix Representations for Large Markov Models"],"prefix":"10.1007","author":[{"given":"Peter","family":"Buchholz","sequence":"first","affiliation":[]},{"given":"Peter","family":"Kemper","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Benoit, A., Plateau, B., Stewart, W.J.: Memory-efficient iterative methods for stochastic automata networks. Technical Report, Rapport de recherche INRIA n. 4259, France (September 2001)"},{"key":"8_CR2","volume-title":"Modelling with generalized stochastic Petri nets","author":"M. Ajmone-Marsan","year":"1995","unstructured":"Ajmone-Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. Wiley, Chichester (1995)"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time Markov chains. ACM Trans. on Computational Logic\u00a01(1), 162\u2013170 (2000)","journal-title":"ACM Trans. on Computational Logic"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/10722167_28","volume-title":"Computer Aided Verification","author":"C. Baier","year":"2000","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model checking continuous-time Markov chains by transient analysis. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 358\u2013372. Springer, Heidelberg (2000)"},{"key":"8_CR5","first-page":"239","volume-title":"Formal Description Techniques 90","author":"F. Bause","year":"1990","unstructured":"Bause, F., Buchholz, P.: Protocol analysis using a timed version of SDL. In: Quemada, J., Manas, J., Vazquez, E. (eds.) Formal Description Techniques 90, pp. 239\u2013254. North-Holland, Amsterdam (1990)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BFb0024318","volume-title":"Quantitative Evaluation of Computing and Communication Systems","author":"F. Bause","year":"1995","unstructured":"Bause, F., Buchholz, P., Kemper, P.: QPN-tool for the specification and analysis of hierarchically combined queueing Petri nets. In: Beilner, H., Bause, F. (eds.) MMB 1995 and TOOLS 1995. LNCS, vol.\u00a0977, pp. 224\u2013238. Springer, Heidelberg (1995)"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernado","year":"1998","unstructured":"Bernado, M., Gorrieri, R.: A tuturial of EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science\u00a0202, 1\u201354 (1998)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0743-7315(92)90004-7","volume":"15","author":"P. Buchholz","year":"1992","unstructured":"Buchholz, P.: A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis. Journal of Parallel and Distributed Computing\u00a015(3), 207\u2013224 (1992)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"8_CR9","unstructured":"Buchholz, P.: Markovian process algebra: composition and equivalence. In: Herzog, U., Rettelbach, M. (eds.) Proc. of the 2nd Work. on Process Algebras and Performance Modelling. Arbeitsberichte des IMMD, vol.\u00a027, pp. 11\u201330. University of Erlangen (1994)"},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-1-4615-2241-6_13","volume-title":"Computations with Markov Chains","author":"P. Buchholz","year":"1995","unstructured":"Buchholz, P.: Equivalence relations for stochastic automata networks. In: Stewart, W.J. (ed.) Computations with Markov Chains, pp. 197\u2013216. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-69108-1_13","volume-title":"Application and Theory of Petri Nets 1998","author":"P. Buchholz","year":"1998","unstructured":"Buchholz, P.: Iterative decomposition and aggregation of labeled gSPNs. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 226\u2013245. Springer, Heidelberg (1998)"},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/32.761443","volume":"25","author":"P. Buchholz","year":"1999","unstructured":"Buchholz, P.: Hierarchical structuring of superposed GSPNs. IEEE Transactions on Software Engineering\u00a025(2), 166\u2013181 (1999)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR13","unstructured":"Buchholz, P.: Projection methods for the analysis of stochastic automata networks. In: Plateau, B., Stewart, W.J., Silva, M. (eds.) Numerical Solution of Markov Chains (NSMC 1999), pp. 149\u2013168. Prensas Universitarias de Zaragoza (1999)"},{"issue":"4","key":"8_CR14","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/S0168-9274(99)00005-7","volume":"31","author":"P. Buchholz","year":"1999","unstructured":"Buchholz, P.: Structured analysis approaches for large Markov chains. Applied Numerical Mathematics\u00a031(4), 375\u2013404 (1999)","journal-title":"Applied Numerical Mathematics"},{"issue":"2","key":"8_CR15","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1137\/S0895479898342419","volume":"22","author":"P. Buchholz","year":"2000","unstructured":"Buchholz, P.: Multi-level solutions for structured Markov chains. SIAM Journal on Matrix Methods and Applications\u00a022(2), 342\u2013357 (2000)","journal-title":"SIAM Journal on Matrix Methods and Applications"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1109\/DSN.2002.1029010","volume-title":"Proc. Int. Conf. on Dependable Systems and Networks","author":"P. Buchholz","year":"2002","unstructured":"Buchholz, P.: An adaptive decomposition approach for the analysis of stochastic Petri nets. In: Proc. Int. Conf. on Dependable Systems and Networks, pp. 647\u2013656. IEEE CS-Press, Los Alamitos (2002)"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF01189232","volume":"15","author":"P. Buchholz","year":"1994","unstructured":"Buchholz, P.: A class of hierarchical queueing networks and their analysis. Queueing Systems\u00a015(1), 59\u201380 (1994)","journal-title":"Queueing Systems"},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1287\/ijoc.12.3.203.12634","volume":"12","author":"P. Buchholz","year":"2000","unstructured":"Buchholz, P., Ciardo, G., Donatelli, S., Kemper, P.: Complexity of Kronecker operations and sparse matrices with applications to the solution of Markov models. INFORMS Journal on Computing\u00a012(3), 203\u2013222 (2000)","journal-title":"INFORMS Journal on Computing"},{"key":"#cr-split#-8_CR19.1","doi-asserted-by":"crossref","unstructured":"Buchholz, P., Dayar, T.: Block SOR for Kronecker structured representations. In: Proc. of the Int. Workshop on the Numerical Solution of Markov Chains (2003);","DOI":"10.1016\/j.laa.2003.12.017"},{"key":"#cr-split#-8_CR19.2","unstructured":"To appear as a revised version in Journal Linear Algebra and Applications"},{"issue":"1\/2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S1567-8326(02)00067-X","volume":"56","author":"P. Buchholz","year":"2003","unstructured":"Buchholz, P., Katoen, J.P., Kemper, P., Tepper, C.: Model-checking large structured Markov chains. Journal of Logic and Algebraic Programming\u00a056(1\/2), 69\u201397 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/PNPM.1995.524313","volume-title":"Proc. of the 6th Int. Workshop on Petri Nets and Performance Models","author":"P. Buchholz","year":"1995","unstructured":"Buchholz, P., Kemper, P.: Numerical analysis of stochastic marked graph nets. In: Proc. of the 6th Int. Workshop on Petri Nets and Performance Models, pp. 32\u201341. IEEE CS-Press, Los Alamitos (1995)"},{"issue":"2","key":"8_CR22","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/288197.288202","volume":"26","author":"P. Buchholz","year":"1998","unstructured":"Buchholz, P., Kemper, P.: On generating a hierarchy for GSPN analysis. ACM Performance Evaluation Review\u00a026(2), 5\u201314 (1998)","journal-title":"ACM Performance Evaluation Review"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-48683-6_41","volume-title":"Computer Aided Verification","author":"P. Buchholz","year":"1999","unstructured":"Buchholz, P., Kemper, P.: A toolbox for the analysis of discrete event dynamic systems. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 483\u2013486. Springer, Heidelberg (1999)"},{"key":"8_CR24","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-1-4615-4493-7_4","volume-title":"Discrete Event Systems Analysis and Control","author":"P. Buchholz","year":"2000","unstructured":"Buchholz, P., Kemper, P.: Efficient computation and representation of large reachability sets for composed automata. In: Boel, R., Stremersch, G. (eds.) Discrete Event Systems Analysis and Control, pp. 49\u201356. Kluwer Academic, Dordrecht (2000)"},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/PNPM.2001.953358","volume-title":"Proc. Petri Nets and Performance Models 2001","author":"P. Buchholz","year":"2001","unstructured":"Buchholz, P., Kemper, P.: Compact representations of probability distributions in the analysis of superposed GSPNs. In: German, R., Haverkort, B. (eds.) Proc. Petri Nets and Performance Models 2001, pp. 81\u201390. IEEE CS-Press, Los Alamitos (2001)"},{"issue":"3","key":"8_CR26","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1023\/A:1015669415634","volume":"12","author":"P. Buchholz","year":"2002","unstructured":"Buchholz, P., Kemper, P.: Efficient computation and representation of large reachability sets for composed automata. Discrete Event Dynamic Systems Theory and Applications\u00a012(3), 265\u2013286 (2002)","journal-title":"Discrete Event Dynamic Systems Theory and Applications"},{"issue":"3","key":"8_CR27","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1023\/A:1020321222420","volume":"21","author":"P. Buchholz","year":"2002","unstructured":"Buchholz, P., Kemper, P.: Hierarchical rechability graph generation for Petri nets. Formal Methods in System Design\u00a021(3), 281\u2013315 (2002)","journal-title":"Formal Methods in System Design"},{"issue":"1","key":"8_CR28","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/225545.225548","volume":"22","author":"P.E. Buis","year":"1996","unstructured":"Buis, P.E., Dyksen, W.R.: Efficient vector and parallel manipulation of tensor products. ACM Trans. Math. Software\u00a022(1), 18\u201323 (1996)","journal-title":"ACM Trans. Math. Software"},{"issue":"7","key":"8_CR29","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1109\/32.297941","volume":"20","author":"J. Campos","year":"1994","unstructured":"Campos, J., Colom, J.M., Jungnitz, H., Silva., M.: Approximate throughput computation of stochastic marked graphs. IEEE Transactions on Software Engineering\u00a020(7), 525\u2013535 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"8_CR30","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1109\/32.761442","volume":"25","author":"J. Campos","year":"1999","unstructured":"Campos, J., Silva, M., Donatelli, S.: Structured solution of asynchronously communicating stochastic modules. IEEE Transactions on Software Engineering\u00a025(2), 147\u2013165 (1999)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/3-540-45319-9_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Ciardo","year":"2001","unstructured":"Ciardo, G., Luettgen, G., Siminiceanu, R.: Saturation: An efficient iteration strategy for symbolic state-space generation. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 328\u2013342. Springer, Heidelberg (2001)"},{"key":"8_CR32","first-page":"22","volume-title":"8th int. Workshop Petri Nets and Performance Models","author":"G. Ciardo","year":"1999","unstructured":"Ciardo, G., Miner, A.: A data structure for the efficient Kronecker solution of GSPNs. In: Buchholz, P., Silva, M. (eds.) 8th int. Workshop Petri Nets and Performance Models, pp. 22\u201331. IEEE CS Press, Los Alamitos (1999)"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1999","author":"G. Ciardo","year":"1999","unstructured":"Ciardo, G., Miner, A.: Efficient reachability set generation and storage using decision diagrams. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol.\u00a01639. Springer, Heidelberg (1999)"},{"key":"8_CR34","first-page":"207","volume-title":"Proc. ACM Sigmetrics","author":"G. Ciardo","year":"2000","unstructured":"Ciardo, G., Miner, A.S., Donatelli, S.: Using the exact state space of a model to compute approximate stationary measures. In: Kurose, J., Nain, P. (eds.) Proc. ACM Sigmetrics, pp. 207\u2013216. ACM Press, New York (2000)"},{"key":"8_CR35","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0166-5316(93)90026-Q","volume":"18","author":"G. Ciardo","year":"1994","unstructured":"Ciardo, G., Trivedi, K.: A decomposition approach for stochastic reward net models. Performance Evaluation\u00a018, 37\u201359 (1994)","journal-title":"Performance Evaluation"},{"key":"8_CR36","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/TC.1981.1675863","volume":"30","author":"M. Davio","year":"1981","unstructured":"Davio, M.: Kronecker products and shuffle algebra. IEEE Transactions on Computers\u00a030, 116\u2013125 (1981)","journal-title":"IEEE Transactions on Computers"},{"key":"8_CR37","doi-asserted-by":"publisher","first-page":"1691","DOI":"10.1137\/S1064827598338159","volume":"21","author":"T. Dayar","year":"2000","unstructured":"Dayar, T., Stewart, W.J.: Comparison of partitioning techniques for twolevel iterative solvers on large, sparse Markov chains. SIAM Journal on Scientific Computing\u00a021, 1691\u20131705 (2000)","journal-title":"SIAM Journal on Scientific Computing"},{"key":"8_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/BFb0022197","volume-title":"Computer Performance Evaluation Modelling Techniques and Tools","author":"D.D. Deavours","year":"1997","unstructured":"Deavours, D.D., Sanders, W.H.: An efficient disk-based tool for solving very large Markov models. In: Marie, R., Plateau, B., Calzarossa, M., Rubino, G. (eds.) TOOLS 1997. LNCS, vol.\u00a01245, pp. 58\u201371. Springer, Heidelberg (1997)"},{"key":"8_CR39","series-title":"Lecture Notes in Computer Science","first-page":"31","volume-title":"Computer Performance Evaluation","author":"S. Derivasi","year":"2002","unstructured":"Derivasi, S., Kemper, P., Sanders, W.H.: The m\u00f6bius state-level abstract functional interface. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, p. 31. Springer, Heidelberg (2002)"},{"key":"8_CR40","series-title":"Lecture Notes in Computer Science","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":"Donatelli, S.: Superposed generalized stochastic Petri nets: definition and efficient solution. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol.\u00a0815, pp. 258\u2013277. Springer, Heidelberg (1994)"},{"key":"8_CR41","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0166-5316(93)90025-P","volume":"18","author":"S. Donatelli","year":"1994","unstructured":"Donatelli, S.: Superposed stochastic automata: a class of stochastic Petri nets amenable to parallel solution. Performance Evaluation\u00a018, 21\u201336 (1994)","journal-title":"Performance Evaluation"},{"issue":"1-4","key":"8_CR42","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0166-5316(00)00060-2","volume":"44","author":"S. Donatelli","year":"2001","unstructured":"Donatelli, S., Kemper, P.: Integrating synchronization with priority into a Kronecker representation. Performance Evaluation\u00a044(1-4), 73\u201396 (2001)","journal-title":"Performance Evaluation"},{"issue":"3","key":"8_CR43","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/278298.278303","volume":"45","author":"P. Fernandes","year":"1998","unstructured":"Fernandes, P., Plateau, B., Stewart, W.J.: Efficient descriptor-vector multiplication in stochastic automata networks. Journal of the ACM\u00a045(3), 381\u2013414 (1998)","journal-title":"Journal of the ACM"},{"key":"8_CR44","unstructured":"Graham, A.: Kronecker products and matrix calculus with applications. Ellis Howard (1981)"},{"key":"8_CR45","unstructured":"Gusak, O., Dayar, T.: Iterative aggregation-disaggregation versus block Gauss- Seidel on stochastic automata networks with unfavorable partitionings. In: Obaidat, M.S., Davoli, F. (eds.) Proc. Int. Symp. on Perf. Eval. of Comp. and Telecomm. Sys., pp. 617\u2013623. SCS-Press (2001)"},{"issue":"9\/10","key":"8_CR46","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1016\/S0169-7552(97)00133-5","volume":"30","author":"H. Hermanns","year":"1998","unstructured":"Hermanns, H., Herzog, U., Mertsiotakis, V.: Stochastic process algebras - between LOTOS and Markov chains. Computer Networks and ISDN Systems\u00a030(9\/10), 901\u2013924 (1998)","journal-title":"Computer Networks and ISDN Systems"},{"key":"8_CR47","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/S1567-8326(02)00066-8","volume":"56","author":"H. Hermanns","year":"2003","unstructured":"Hermanns, H., Kwiatkowska, M., Norman, G., Parker, D., Siegle, M.: On the use of MTBDDs for performability analysis and verification of stochastic systems. Journal of Logic and Algebraic Programming\u00a056, 23\u201367 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"8_CR48","volume-title":"Proc. of the 2nd Work. on Process Algebras and Performance Modelling","author":"H. Hermanns","year":"1994","unstructured":"Hermanns, H., Rettelbach, M.: Syntax, semantics, equivalences, and axioms for MTIPP. In: Herzog, U., Rettelbach, M. (eds.) Proc. of the 2nd Work. on Process Algebras and Performance Modelling, Arbeitsberichte des IMMD, University of Erlangen, vol.\u00a027 (1994)"},{"key":"8_CR49","unstructured":"Hillston, J.: A compositional approach for performance modelling. Phd thesis, University of Edinburgh, Dep. of Comp. Sc. (1994)"},{"key":"8_CR50","volume-title":"Communicating sequential processes.","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating sequential processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"8_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/3-540-44804-7_2","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"J.P. Katoen","year":"2001","unstructured":"Katoen, J.P., Kwiatkowska, M., Norman, G., Parker, D.: Faster and symbolic CTMC model checking. In: de Alfaro, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 123\u2013138. Springer, Heidelberg (2001)"},{"issue":"9","key":"8_CR52","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1109\/32.541433","volume":"22","author":"P. Kemper","year":"1996","unstructured":"Kemper, P.: Numerical analysis of superposed GSPNs. IEEE Transactions on Software Engineering\u00a022(9), 615\u2013628 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR53","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1996","author":"P. Kemper","year":"1996","unstructured":"Kemper, P.: Reachability analysis based on structured representations. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol.\u00a01091. Springer, Heidelberg (1996)"},{"key":"8_CR54","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1109\/DSN.2002.1029011","volume-title":"Proc. of the 2002 int. Conf. om Dependable Systems and Networks","author":"P. Kemper","year":"2002","unstructured":"Kemper, P.: Parallel randomization for large structured Markov chains. In: Proc. of the 2002 int. Conf. om Dependable Systems and Networks, pp. 657\u2013666. IEEE CS Press, Los Alamitos (2002)"},{"key":"8_CR55","volume-title":"Forschungsbericht","author":"P. Kemper","year":"1998","unstructured":"Kemper, P., L\u00fcbeck, R.: Model checking based on Kronecker algebra. In: Forschungsbericht, Fachbereich Informatik, Universit\u00e4t Dortmund, Germany, vol.\u00a0669 (1998)"},{"key":"8_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-45605-8_9","volume-title":"Process Algebra and Probabilistic Methods. Performance Modeling and Verification","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Mehmood, R.: Out-of-core solution of large linear systems of equations arising from stochastic modelling. In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol.\u00a02399, pp. 135\u2013151. Springer, Heidelberg (2002)"},{"key":"8_CR57","doi-asserted-by":"crossref","unstructured":"Langville, A.N., Stewart, W.J.: A Kronecker product approximate preconditioner for SANs. Numerical Linear Algebra with Applications (to appear)","DOI":"10.1002\/nla.344"},{"key":"8_CR58","volume-title":"Communication and concurrency.","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"8_CR59","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1109\/PNPM.2001.953360","volume-title":"Proc. 9th int. Workshop Petri Nets and Performance Models","author":"A. Miner","year":"2001","unstructured":"Miner, A.: Efficient solution of GSPNs using canonical matrix diagrams. In: German, R., Haverkourt, B. (eds.) Proc. 9th int. Workshop Petri Nets and Performance Models, pp. 101\u2013110. IEEE CS Press, Los Alamitos (2001)"},{"key":"8_CR60","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1145\/317786.317819","volume":"13","author":"B. Plateau","year":"1985","unstructured":"Plateau, B.: On the stochastic structure of parallelism and synchronisation models for distributed algorithms. Performance Evaluation Review\u00a013, 142\u2013154 (1985)","journal-title":"Performance Evaluation Review"},{"issue":"1","key":"8_CR61","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1049\/ip-sen:19990151","volume":"146","author":"R. Pooley","year":"1999","unstructured":"Pooley, R., King, P.: The unified modeling language and performance enginering. IEE Proceedings - Software\u00a0146(1), 2\u201310 (1999)","journal-title":"IEE Proceedings - Software"},{"key":"8_CR62","volume-title":"ntroduction to the numerical solution of Markov chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: ntroduction to the numerical solution of Markov chains. Princeton University Press, Princeton (1994)"},{"key":"8_CR63","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0377-2217(94)00075-N","volume":"86","author":"W.J. Stewart","year":"1995","unstructured":"Stewart, W.J., Atif, K., Plateau, B.: The numerical solution of stochastic automata networks. European Journal of Operational Research\u00a086, 503\u2013525 (1995)","journal-title":"European Journal of Operational Research"},{"issue":"1","key":"8_CR64","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1016\/S0377-2217(97)00215-4","volume":"110","author":"E. Uysal","year":"1998","unstructured":"Uysal, E., Dayar, T.: Iterative methods based on splittings for stochastic automata networks. European Journal of Operational Research\u00a0110(1), 166\u2013186 (1998)","journal-title":"European Journal of Operational Research"},{"key":"8_CR65","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/PNPM.1991.238781","volume-title":"Proc. 4th Int. Workshop on Petri Nets and Performance Models","author":"C.M. Woodside","year":"1991","unstructured":"Woodside, C.M., Li, Y.: Performance Petri net analysis of communications protocol software by delay equivalent aggregation. In: Proc. 4th Int. Workshop on Petri Nets and Performance Models, pp. 64\u201373. IEEE CS-Press, Los Alamitos (1991)"}],"container-title":["Lecture Notes in Computer Science","Validation of Stochastic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24611-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T11:46:32Z","timestamp":1558871192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24611-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222651","9783540246114"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24611-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}