{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:12:29Z","timestamp":1761610349630,"version":"build-2065373602"},"reference-count":27,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3954,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1016\/s1571-0661(05)80394-9","type":"journal-article","created":{"date-parts":[[2005,4,28]],"date-time":"2005-04-28T09:14:30Z","timestamp":1114679670000},"page":"589-604","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":22,"title":["A Symbolic Out-of-Core Solution Method for Markov Models"],"prefix":"10.1016","volume":"68","author":[{"given":"Marta","family":"Kwiatkowska","sequence":"first","affiliation":[]},{"given":"Rashid","family":"Mehmood","sequence":"additional","affiliation":[]},{"given":"Gethin","family":"Norman","sequence":"additional","affiliation":[]},{"given":"David","family":"Parker","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80394-9_BIB1","series-title":"Proc. ICCAD'93","first-page":"188","article-title":"Algebraic decision diagrams and their applications","author":"Bahar","year":"1993"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB2","unstructured":"Bell, A. and B. R. Haverkort, Serial and Parallel Out-of-Core Solution of Linear Systems arising from Generalised Stochastic Petri Nets in:, in: Proc. High Performance Computing 2001, Seattle, USA, 2001."},{"key":"10.1016\/S1571-0661(05)80394-9_BIB3","series-title":"Proc. Petri Nets and Performance Models (PNPM'01)","first-page":"81","article-title":"Compact representations of probability distributions in the analysis of superposed GSPNs","author":"Buchholz","year":"2001"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB4","series-title":"Proceedings of the 9th International Workshop on Petri Nets and Performance Models","first-page":"3","article-title":"What a Structural World","author":"Ciardo","year":"2001"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB5","series-title":"Proc. 8th International Workshop on Petri Nets and Performance Models (PNPM'99)","first-page":"22","article-title":"A data structure for the efficient Kronecker solution of GSPNs.","author":"Ciardo","year":"1999"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB6","series-title":"ICASE Report 96-35, Institute for Computer Applications in Science and Engineering","article-title":"On the use of Kronecker Operators for the Solution of Generalized Stocastic Petri Nets","author":"Ciardo","year":"1996"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB7","first-page":"37","article-title":"A Decomposition Approach for Stochastic Reward Net Models","volume":"18","author":"Ciardo","year":"1993"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB8","doi-asserted-by":"crossref","unstructured":"Clarke, E., M. Fujita, P. McGeer, J. Yang and X. Zhao, Multi-Terminal Binary Decision Diagrams: An Effificient Data Structure for Matrix Representation, in: Proc. International Workshop on Logic Synthesis (IWLS'93), Tahoe City, 1993, pp. 6a:1\ue4f815, also available in Formal Methods in System Design, 10(2\/3), 1997.","DOI":"10.1023\/A:1008647823331"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB9","series-title":"in: Lecture Notes in computer Science: Proceedings of the 9th International Conference on Modelling Techniques and Tools (TOOLS'97)","first-page":"58","article-title":"An Efficient Disk-based Tool for Solving Very Large Markov Models","author":"Deavours","year":"1997"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB10","first-page":"67","article-title":"An Efficient Disk-based Tool for Solving Large Markov Models","volume":"33","author":"Deavours","year":"1998"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB11","first-page":"889","article-title":"\u201cOn-the-fly\u201d Solution Techniques for Stochastic Petri Nets and Extensions","volume":"24","author":"Deavours","year":"1998"},{"year":"1997","series-title":"\u201cDirect Methods for Sparse Matrices,\u201d Oxford Science Publications, Clarendon Press Oxford, (with corrections)","author":"Duff","key":"10.1016\/S1571-0661(05)80394-9_BIB12"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB13","first-page":"1479","article-title":"Markovian analysis of large finite state machines","volume":"15","author":"Hachtel","year":"1996"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB14","series-title":"Journal of Logic and Algebraic Programming: Special Issue on Probabilistic Techniques for the Design and Analysis of Systems, to appear","article-title":"On the use of MTBDDs for performability analysis and verification of stochastic systems","author":"Hermanns","year":"2002"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB15","series-title":"Proc. 3rd International Workshop on Numerical Solution of Markov Chains (NSMC'99)","first-page":"188","article-title":"Multi terminal binary decision diagrams to represent and analyse continuous time Markov chains","author":"Hermanns","year":"1999"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB16","series-title":"Proc. 3rd International Workshop on Numerical Solution of Markov Chains (NSMC'99)","first-page":"58","article-title":"Distributed Disk-based Solution Techniques for Large Markov Models","author":"Knottenbelt","year":"1999"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB17","first-page":"200","article-title":"PRISM: Probabilistic symbolic model checker","volume":"2324","author":"Kwiatkowska","year":"2002"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB18","first-page":"52","article-title":"Probabilistic symbolic model checking with PRISM: A hybrid approach","volume":"2280","author":"Kwiatkowska","year":"2002"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB19","first-page":"135","article-title":"Out-of-core solution of large linear systems of equations arising from stochastic modelling","volume":"2399","author":"Kwiatkowska","year":"2002"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB20","series-title":"Proceedings of the 9th International Workshop on Petri Nets and Performance Models","first-page":"101","article-title":"Efficient Solution of GSPNs using Canonical Matrix Diagrams","author":"Miner","year":"2001"},{"year":"2002","series-title":"\u201cImplementation of symbolic model checking for probabilistic systems,\u201d Ph.D. thesis, University of Birmingham, to appear","author":"Parker","key":"10.1016\/S1571-0661(05)80394-9_BIB21"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB22","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, Austin, TX, USA, 1985, pp. 147\ue4f8153.","DOI":"10.1145\/317795.317819"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB23","unstructured":"PRISM web page, http:\/\/www.cs.bham.ac.uk\/~dxp\/prism\/."},{"year":"1996","series-title":"\u201cIterative Methods for Sparse Linear Systems,\u201d PWS Publishing Company","author":"Saad","key":"10.1016\/S1571-0661(05)80394-9_BIB24"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB25","series-title":"Proc. PAPM\/PROBMIV 2001, Available as Volume 2165 of","first-page":"1","article-title":"Advances in Model Representations","author":"Siegle","year":"2001"},{"year":"1994","series-title":"\u201cIntroduction to the Numerical Solution of Markov Chains,\u201d","author":"Stewart","key":"10.1016\/S1571-0661(05)80394-9_BIB26"},{"key":"10.1016\/S1571-0661(05)80394-9_BIB27","series-title":"External Memory Algorithms and Visualization, DIMACS Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1090\/dimacs\/050\/09","article-title":"A Survey of Out-of-Core Algorithms in Numerical Linear Algebra","author":"Toledo","year":"1999"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105803949?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105803949?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:07:50Z","timestamp":1761610070000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105803949"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S1571066105803949"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80394-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A Symbolic Out-of-Core Solution Method for Markov Models","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80394-9","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}