{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:09:30Z","timestamp":1725548970614},"publisher-location":"Berlin, Heidelberg","reference-count":41,"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_7","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:01:10Z","timestamp":1267124470000},"page":"230-255","source":"Crossref","is-referenced-by-count":13,"title":["Serial Disk-Based Analysis of Large Stochastic Models"],"prefix":"10.1007","author":[{"given":"Rashid","family":"Mehmood","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Bahar, I., Frohm, E., Gaona, C., Hachtel, G., Macii, E., Pardo, A., Somenzi, F.: Algebraic Decision Diagrams and their Applications. In: ICCAD 1993, Santa Clara, pp. 188\u2013191 (1993)","DOI":"10.1109\/ICCAD.1993.580054"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Barrett, R., Berry, M., Chan, T.F., Demmel, J., Donato, J.M., Dongarra, J., Eijkhout, V., Pozo, R., Romine, C., van der Vorst, H.: Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods. Philadalphia: Society for Industrial and Applied Mathematics (1994)","DOI":"10.1137\/1.9781611971538"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, F.G.: Open, Closed, and Mixed Networks of Queues with Different Classes of Customers. Journal of ACM\u00a022(2) (1975)","DOI":"10.1145\/321879.321887"},{"key":"7_CR4","volume-title":"Proc. PNPM 1993","author":"F. Bause","year":"1993","unstructured":"Bause, F.: Queueing Petri Nets: A Formalism for the Combined Qualitative and Quantitative Analysis of Systems. In: Proc. PNPM 1993. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"7_CR5","unstructured":"Bell, A.: Verteilte Bewertung Stochastischer Petrinetze, Diploma thesis, RWTH, Aachen, Department of Computer Science (March 1999)"},{"key":"7_CR6","unstructured":"Bell, A., Haverkort, B.R.: Serial and Parallel Out-of-Core Solution of Linear Systems arising from Generalised Stochastic Petri Nets. In: High Performance Computing 2001, Seattle, USA (April 2001)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 1996: Concurrency Theory","author":"M. Bernardo","year":"1996","unstructured":"Bernardo, M., Gorrieri, R.: Extended Markovian Process Algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119. Springer, Heidelberg (1996)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Buchholz, P., Kemper, P.: Kronecker based Matrix Representations for Large Markov Models. In: This Proceedings (2003)","DOI":"10.1007\/978-3-540-24611-4_8"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Ciardo, G., Miner, A.: A Data Structure for the Efficient Kronecker Solution of GSPNs. In: Proc. PNPM 1999, Zaragoza (1999)","DOI":"10.1109\/PNPM.1999.796529"},{"key":"7_CR10","unstructured":"Ciardo, G., Tilgner, M.: On the use of Kronecker Operators for the Solution of Generalized Stochastic Petri Nets. ICASE Report 96-35, Institute for Computer Applications in Science and Engineering (1996)"},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0166-5316(93)90026-Q","volume":"18","author":"G. Ciardo","year":"1993","unstructured":"Ciardo, G., Trivedi, K.S.: A Decomposition Approach for Stochastic Reward Net Models. Performance Evaluation\u00a018(1), 37\u201359 (1993)","journal-title":"Performance Evaluation"},{"key":"7_CR12","unstructured":"Clarke, E., Fujita, M., McGeer, P., Yang, J., Zhao, X.: Multi-Terminal Binary Decision Diagrams: An Effificient Data Structure for Matrix Representation. In: International Workshop on Logic Synthesis, IWLS 1993 (May 1993)"},{"key":"7_CR13","volume-title":"Queueing Networks - Exact Computational Algorithms: A Unified Theory based on Decomposition and Aggregation","author":"A.E. Conway","year":"1989","unstructured":"Conway, A.E., Georganas, N.D.: Queueing Networks - Exact Computational Algorithms: A Unified Theory based on Decomposition and Aggregation. MIT Press, Cambridge (1989)"},{"key":"7_CR14","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.C., Rubino, G.J. (eds.) TOOLS 1997. LNCS, vol.\u00a01245, pp. 58\u201371. Springer, Heidelberg (1997)"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0166-5316(98)00010-8","volume":"33","author":"D.D. Deavours","year":"1998","unstructured":"Deavours, D.D., Sanders, W.H.: An Efficient Disk-based Tool for Solving Large Markov Models. Performance Evaluation\u00a033(1), 67\u201384 (1998)","journal-title":"Performance Evaluation"},{"issue":"10","key":"7_CR16","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1109\/32.729691","volume":"24","author":"D.D. Deavours","year":"1998","unstructured":"Deavours, D.D., Sanders, W.H.: \u201cOn-the-fly\u201dSolution Techniques for Stochastic Petri Nets and Extensions. IEEE Transactions on Software Engineering\u00a024(10), 889\u2013902 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR17","unstructured":"Hermanns, H., Meyer-Kayser, J., Siegle, M.: Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In: Proc. NSMC 1999, Zaragoza (1999)"},{"key":"7_CR18","unstructured":"Hermanns, H., Rettelbach, M.: Syntax, Semantics, Equivalences, and Axioms for MTIPP. In: Proc. PAPM 1994, Germany (1994)"},{"key":"7_CR19","unstructured":"Heroux, M.: A proposal for a sparse BLAS Toolkit, Technical Report TR\/PA\/92\/90, Cray Research, Inc., USA (December 1992)"},{"key":"7_CR20","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh (1994)"},{"issue":"9","key":"7_CR21","doi-asserted-by":"publisher","first-page":"1649","DOI":"10.1109\/49.62852","volume":"8","author":"O. Ibe","year":"1990","unstructured":"Ibe, O., Trivedi, K.: Stochastic Petri Net Models of Polling Systems. IEEE Journal on Selected Areas in Communications\u00a08(9), 1649\u20131657 (1990)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"7_CR22","unstructured":"Kahan, W.: Gauss-Seidel methods of solving large systems of linear equations. PhD thesis, University of Toronto (1958)"},{"key":"7_CR23","unstructured":"Knottenbelt, W.J., Harrison, P.G.: Distributed Disk-based Solution Techniques for Large Markov Models. In: Proc. NSMC 1999 (1999)"},{"key":"7_CR24","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, p. 135. Springer, Heidelberg (2002)"},{"key":"#cr-split#-7_CR25.1","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Mehmood, R., Norman, G., Parker, D.: A Symbolic Out-of- Core Solution Method for Markov Models. In: Proc. Parallel and Distributed Model Checking, PDMC 2002 (August 2002);","DOI":"10.1016\/S1571-0661(05)80394-9"},{"key":"#cr-split#-7_CR25.2","unstructured":"Appeared in ENTCS 68(4), http:\/\/www.elsevier.nl\/locate\/entcs"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, p. 200. Springer, Heidelberg (2002)"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/3-540-46002-0_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, p. 52. Springer, Heidelberg (2002)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Marsan, M.A., Balbo, G., Conte, G.: A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems. ACM Transactions on Computer Systems\u00a02(2) (1984)","DOI":"10.1145\/190.191"},{"key":"7_CR29","volume-title":"Modelling With Generalized Stochastic Petri Nets","author":"M.A. Marsan","year":"1995","unstructured":"Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G., Kartson, D.: Modelling With Generalized Stochastic Petri Nets. John Wiley & Son Ltd, Chichester (1995)"},{"key":"7_CR30","unstructured":"Mehmood, R.: On the Development of Techniques for the Analysis of Large Markov Models. PhD thesis, University of Birmingham (2003) (to appear)"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Miner, A., Parker, D.: Symbolic Representations and Analysis of Large State Spaces. In: This Proceedings (2003)","DOI":"10.1007\/978-3-540-24611-4_9"},{"key":"7_CR32","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"Molloy, M.K.: Performance Analysis using Stochastic Petri Nets. IEEE Trans. Comput.\u00a031, 913\u2013917 (1982)","journal-title":"IEEE Trans. Comput."},{"key":"7_CR33","unstructured":"Parker, D.: Implementation of Symbolic Model Checking for Probabilistic Systems. PhD thesis, University of Birmingham (August. 2002)"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Plateau, B.: On the Stochastic Structure of Parallelism and Synchronisation Models for Distributed Algorithms. In: Proc. 1985 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems (1985)","DOI":"10.1145\/317795.317819"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Plateau, B., Atif, K.: Stochastic Automata Network for Modeling Parallel Systems. IEEE Transactions on Software Engineering\u00a017(10) (1991)","DOI":"10.1109\/32.99196"},{"key":"7_CR36","unstructured":"PRISM Web Page. http:\/\/www.cs.bham.ac.uk\/~dxp\/prism\/"},{"key":"7_CR37","doi-asserted-by":"crossref","unstructured":"Saad, Y.: SPARSKIT: A basic tool kit for sparse matrix computations. Technical Report RIACS-90-20, NASA Ames Research Center, CA (1990)","DOI":"10.1145\/77726.255162"},{"key":"7_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44804-7_1","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"M. Siegle","year":"2001","unstructured":"Siegle, M.: Advances in model representations. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, p. 1. Springer, Heidelberg (2001)"},{"key":"7_CR39","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"key":"7_CR40","volume-title":"External Memory Algorithms and Visualization, DIMACS Series in Discrete Mathematics and Theoretical Computer Science.","author":"S. Toledo","year":"1999","unstructured":"Toledo, S.: A Survey of Out-of-Core Algorithms in Numerical Linear Algebra. In: External Memory Algorithms and Visualization, DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society Press, Providence (1999)"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T16:51:54Z","timestamp":1685465514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24611-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222651","9783540246114"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24611-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}