{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,17]],"date-time":"2024-09-17T10:50:45Z","timestamp":1726570245939},"publisher-location":"Berlin, Heidelberg","reference-count":71,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540724827"},{"type":"electronic","value":"9783540725220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72522-0_8","type":"book-chapter","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T15:02:12Z","timestamp":1181055732000},"page":"318-370","source":"Crossref","is-referenced-by-count":2,"title":["Tackling Large State Spaces in Performance Modelling"],"prefix":"10.1007","author":[{"given":"William J.","family":"Knottenbelt","sequence":"first","affiliation":[]},{"given":"Jeremy T.","family":"Bradley","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Yang, J., Sar, C., Engler, D.: eXplode: a Lightweight, General System for Finding Serious Storage System Errors. In: Proc. 7th Symposium on Operating System Design and Implementation, Seattle, WA, November 2006, pp. 131\u2013146 (2006)"},{"key":"8_CR2","volume-title":"Stochastic Petri Nets\u00a0\u2013 An Introduction to the Theory","author":"F. Bause","year":"1995","unstructured":"Bause, F., Kritzinger, P.S.: Stochastic Petri Nets\u00a0\u2013 An Introduction to the Theory. Vieweg, Wiesbaden (1995)"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/0377-2217(87)90147-0","volume":"31","author":"W. Grassman","year":"1987","unstructured":"Grassman, W.: Means and variances of time averages in Markovian environments. European Journal of Operational Research\u00a031(1), 132\u2013139 (1987)","journal-title":"European Journal of Operational Research"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0305-0548(88)90026-3","volume":"15","author":"A. Reibman","year":"1988","unstructured":"Reibman, A., Trivedi, K.S.: Numerical transient analysis of Markov models. Computers and Operations Research\u00a015(1), 19\u201336 (1988)","journal-title":"Computers and Operations Research"},{"key":"8_CR5","doi-asserted-by":"crossref","DOI":"10.1002\/0471200581","volume-title":"Queueing Networks and Markov Chains","author":"G. Bolch","year":"1998","unstructured":"Bolch, G., Greiner, S., Meer, H., Trivedi, K.: Queueing Networks and Markov Chains. Wiley, Chichester (Aug. 1998)"},{"issue":"4","key":"8_CR6","doi-asserted-by":"crossref","first-page":"926","DOI":"10.1287\/opre.32.4.926","volume":"32","author":"B. Melamed","year":"1984","unstructured":"Melamed, B., Yadin, M.: Randomization procedures in the computation of cumulative-time distributions over discrete state Markov processes. Operations Research\u00a032(4), 926\u2013944 (1984)","journal-title":"Operations Research"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Miner, A.S.: Computing response time distributions using stochastic Petri nets and matrix diagrams. In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models (PNPM\u201903), Urbana-Champaign, IL, September 2nd\u20135th 2003, pp. 10\u201319 (2003)","DOI":"10.1109\/PNPM.2003.1231538"},{"key":"8_CR8","first-page":"262","volume-title":"Queueing and Related Models","author":"J. Muppala","year":"1992","unstructured":"Muppala, J., Trivedi, K.: Numerical transient analysis of finite Markovian queueing systems. In: Bhat, U., Basawa, I. (eds.) Queueing and Related Models, pp. 262\u2013284. Oxford University Press, Oxford (1992)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone-Marsan","year":"1984","unstructured":"Ajmone-Marsan, M., Conte, G., Balbo, G.: A class of Generalised Stochastic Petri Nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems\u00a02, 93\u2013122 (1984)","journal-title":"ACM Transactions on Computer Systems"},{"key":"8_CR10","unstructured":"Knottenbelt, W.: Parallel Performance Analysis of Large Markov Models. PhD thesis, Imperial College London (February 2000)"},{"key":"8_CR11","first-page":"281","volume-title":"PMEO\u201903, Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems","author":"J.T. Bradley","year":"2003","unstructured":"Bradley, J.T., Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: Distributed computation of passage time quantiles and transient state distributions in large semi-Markov models. In: PMEO\u201903, Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems, Nice, April 2003, p. 281. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"8_CR12","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"8_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"8_CR14","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh (1994)"},{"key":"8_CR15","unstructured":"Rettelbach, M., Siegle, M.: Compositional minimal semantics for the stochastic process algebra TIPP. In: Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling, Regensberg\/Erlangen, July 1994. Arbeitsberichte des IMMD, pp. 31\u201350. Universit\u00e4t Erlangen-N\u00fcrnberg (1994)"},{"key":"8_CR16","unstructured":"Hermanns, H., Rettelbach, M.: Syntax, Semantics, Equivalences and Axioms for MTIPP. In: Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling, Regensberg\/Erlangen, July 1994. Arbeitsberichte des IMMD, Universit\u00e4t Erlangen-N\u00fcrnberg (1994)"},{"key":"8_CR17","unstructured":"Buchholz, P.: Markovian Process Algebra: composition and equivalence. In: Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling, Regensberg\/Erlangen, July 1994. Arbeitsberichte des IMMD, Universit\u00e4t Erlangen-N\u00fcrnberg (1994)"},{"key":"8_CR18","unstructured":"Bernardo, M., Donatiello, L., Gorrieri, R.: Modelling and analyzing concurrent systems with MPA. In: Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling, Regensberg\/Erlangen, July 1994. Arbeitsberichte des IMMD, pp. 89\u2013106. Universit\u00e4t Erlangen-N\u00fcrnberg (1994)"},{"key":"8_CR19","unstructured":"Hermanns, H., Herzog, U., Hillston, J.: Stochastic process algebras\u2014A formal approach to performance modelling. Tutorial, Department of Computer Science, University of Edinburgh, Edinburgh, UK (1996)"},{"key":"8_CR20","unstructured":"Strulo, B.: Process Algebra for Discrete Event Simulation. PhD thesis, Imperial College, London (October 1993)"},{"issue":"1","key":"8_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1093\/logcom\/10.1.3","volume":"10","author":"P.G. Harrison","year":"2000","unstructured":"Harrison, P.G., Strulo, B.: SPADES - a process algebra for discrete event simulation. Journal of Logic and Computation\u00a010(1), 3\u201342 (2000)","journal-title":"Journal of Logic and Computation"},{"issue":"3\u20134","key":"8_CR22","first-page":"43","volume":"6","author":"J.T. Bradley","year":"2005","unstructured":"Bradley, J.T.: Semi-Markov PEPA: Modelling with generally distributed actions. International Journal of Simulation\u00a06(3\u20134), 43\u201351 (2005)","journal-title":"International Journal of Simulation"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BFb0055638","volume-title":"CONCUR \u201998 Concurrency Theory","author":"M. Bravetti","year":"1998","unstructured":"Bravetti, M., Bernardo, M., Gorrieri, R.: Towards performance evaluation with general distributions in process algebras. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 405\u2013422. Springer, Heidelberg (1998)"},{"key":"8_CR24","unstructured":"Bravetti, M., Gorrieri, R.: Interactive generalized semi-Markov processes. In: Hillston, J., Silva, M. (eds.) Process Algebra and Performance Modelling Workshop, September 1999, pp. 83\u201398. Centro Polit\u00e9cnico Superior de la Universidad de Zaragoza, Prensas Universitarias de Zaragoza, Zaragoza (1999)"},{"key":"8_CR25","first-page":"235","volume-title":"Modelling and Simulation of Advanced Computer Systems","author":"J. Hillston","year":"1998","unstructured":"Hillston, J., Ribaudo, M.: Stochastic process algebras: a new approach to performance modelling. In: Bagchi, K., Zobrist, G. (eds.) Modelling and Simulation of Advanced Computer Systems, pp. 235\u2013256. Gordon Breach, New York (1998)"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. Bryant","year":"1986","unstructured":"Bryant, R.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers\u00a035, 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"8_CR27","first-page":"22","volume-title":"Proceedings of the 8th International Conference on Petri Nets and Performance Models (PNPM\u201999)","author":"G. Ciardo","year":"1999","unstructured":"Ciardo, G., Miner, A.S.: A data structure for the efficient Kronecker solution of GSPNs. In: Proceedings of the 8th International Conference on Petri Nets and Performance Models (PNPM\u201999), Zaragoza, Spain, September 1999, pp. 22\u201331. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/978-3-540-24611-4_9","volume-title":"Validation of Stochastic Systems","author":"A.S. Miner","year":"2004","unstructured":"Miner, A.S., Parker, D.: Symbolic Representations and Analysis of Large Probabilistic Systems. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 296\u2013338. Springer, Heidelberg (2004)"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/978-3-540-24611-4_8","volume-title":"Validation of Stochastic Systems","author":"P. Buchholz","year":"2004","unstructured":"Buchholz, P., Kemper, P.: Kronecker Based Matrix Representations for Large Markov Models. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 256\u2013295. Springer, Heidelberg (2004)"},{"key":"8_CR30","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/0022-314X(80)90084-0","volume":"12","author":"M.O. Rabin","year":"1980","unstructured":"Rabin, M.O.: Probabilistic algorithm for testing primality. Journal of Number Theory\u00a012, 128\u2013138 (1980)","journal-title":"Journal of Number Theory"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-540-24611-4_10","volume-title":"Validation of Stochastic Systems","author":"M. Kuntz","year":"2004","unstructured":"Kuntz, M., Lampka, K.: Probabilistic Methods in State Space Analysis. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 339\u2013383. Springer, Heidelberg (2004)"},{"key":"8_CR32","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"8_CR33","volume-title":"Proceedings of IFIP\/PSTV95: Conference on Protocol Specification, Testing and Verification","author":"G.J. Holzmann","year":"1995","unstructured":"Holzmann, G.J.: An analysis of bitstate hashing. In: Proceedings of IFIP\/PSTV95: Conference on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995, Chapman & Hall, Boca Raton (1995)"},{"key":"8_CR34","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1145\/362686.362692","volume":"13","author":"B. Bloom","year":"1970","unstructured":"Bloom, B.: Space\/time trade-offs in hash coding with allowable errors. Communications of the ACM\u00a013, 422\u2013426 (1970)","journal-title":"Communications of the ACM"},{"key":"8_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-56922-7_6","volume-title":"Computer Aided Verification","author":"P. Wolper","year":"1993","unstructured":"Wolper, P., Leroy, D.: Reliable hashing without collision detection. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697, pp. 59\u201370. Springer, Heidelberg (1993)"},{"key":"8_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/3-540-60385-9_13","volume-title":"Correct Hardware Design and Verification Methods","author":"U. Stern","year":"1995","unstructured":"Stern, U., Dill, D.L.: Improved probabilistic verification by hash compaction. In: Camurati, P.E., Eveking, H. (eds.) CHARME 1995. LNCS, vol.\u00a0987, pp. 206\u2013224. Springer, Heidelberg (1995)"},{"key":"8_CR37","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/S0166-5316(99)00061-9","volume":"39","author":"W.J. Knottenbelt","year":"2000","unstructured":"Knottenbelt, W.J., Harrison, P.G., Mestern, M.S., Kritzinger, P.S.: A probabilistic dynamic technique for the distributed generation of very large state spaces. Performance Evaluation\u00a039, 127\u2013148 (2000)","journal-title":"Performance Evaluation"},{"key":"8_CR38","volume-title":"Distributed Algorithms and Protocols","author":"M. Raynal","year":"1988","unstructured":"Raynal, M.: Distributed Algorithms and Protocols. John Wiley and Sons, Chichester (1988)"},{"key":"8_CR39","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E. Dijkstra","year":"1983","unstructured":"Dijkstra, E., Feijen, W., Gasteren, A.: Derivation of a termination detection algorithm for distributed computations. Information Processing letters\u00a016, 217\u2013219 (1983)","journal-title":"Information Processing letters"},{"key":"8_CR40","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W. Stewart","year":"1994","unstructured":"Stewart, W.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"key":"8_CR41","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0168-9274(95)00084-4","volume":"19","author":"R. Weiss","year":"1995","unstructured":"Weiss, R.: A theoretical overview of Krylov subspace methods. Applied Numerical Mathematics (Special Issue on Iterative Methods for Linear Equations)\u00a019, 207\u2013233 (1995)","journal-title":"Applied Numerical Mathematics"},{"key":"8_CR42","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1137\/0910004","volume":"10","author":"P. Sonneveld","year":"1989","unstructured":"Sonneveld, P.: CGS, a fast Lanczos-type solver for nonsymmetric linear systems. SIAM Journal on Scientific and Statistical Computing\u00a010, 36\u201352 (1989)","journal-title":"SIAM Journal on Scientific and Statistical Computing"},{"key":"8_CR43","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1137\/0913035","volume":"13","author":"H. Vorst","year":"1992","unstructured":"Vorst, H.: Bi-CGSTAB: A fast and smoothly converging variant of BiCG for the solution of nonsymmetric linear systems. SIAM Journal on Scientific and Statistical Computing\u00a013, 631\u2013644 (1992)","journal-title":"SIAM Journal on Scientific and Statistical Computing"},{"key":"8_CR44","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1137\/0914029","volume":"14","author":"R. Freund","year":"1993","unstructured":"Freund, R.: A transpose-free quasi-minimal residual algorithm for non-Hermitian linear systems. SIAM Journal on Scientific Computing\u00a014, 470\u2013482 (1993)","journal-title":"SIAM Journal on Scientific Computing"},{"key":"8_CR45","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.) Computer Performance Evaluation Modelling Techniques and Tools. LNCS, vol.\u00a01245, pp. 58\u201371. Springer, Heidelberg (1997)"},{"issue":"1","key":"8_CR46","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"},{"key":"8_CR47","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_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/978-3-540-24611-4_7","volume-title":"Validation of Stochastic Systems","author":"R. Mehmood","year":"2004","unstructured":"Mehmood, R.: Serial disk-based analysis of large stochastic models. In: Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 230\u2013255. Springer, Heidelberg (2004)"},{"key":"8_CR49","unstructured":"Knottenbelt, W.J., Harrison, P.G.: Distributed disk-based solution techniques for large Markov models. In: NSMC\u201999, Proceedings of the 3rd Intl. Conference on the Numerical Solution of Markov Chains, Zaragoza, September 1999, pp. 58\u201375 (1999)"},{"key":"8_CR50","unstructured":"Bell, A., Haverkort, B.: Serial and parallel out-of-core solution of linear systems arising from Generalised Stochastic Petri Nets. In: Proc. High Performance Computing Symposium (HPC 2001), pp. 242\u2013247 (2001)"},{"key":"8_CR51","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1109\/71.780863","volume":"10","author":"U. Cataly\u00fcrek","year":"1999","unstructured":"Cataly\u00fcrek, U., Aykanat, C.: Hypergraph-partitioning-based decomposition for parallel sparse-matrix vector multiplication. IEEE Transactions on Parallel and Distributed Systems\u00a010, 673\u2013693 (1999)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"8_CR52","unstructured":"Karypis, G., Kumar, V.: hMETIS: A Hypergraph Partitioning Package, Version 1.5.3. University of Minnesota (November 1998)"},{"key":"8_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1007\/978-3-540-30182-0_79","volume-title":"Computer and Information Sciences - ISCIS 2004","author":"A. Trifunovic","year":"2004","unstructured":"Trifunovic, A., Knottenbelt, W.J.: Parkway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool. In: Aykanat, C., Dayar, T., K\u00f6rpeo\u011flu, \u0130. (eds.) ISCIS 2004. LNCS, vol.\u00a03280, pp. 789\u2013800. Springer, Heidelberg (2004)"},{"issue":"1","key":"8_CR54","doi-asserted-by":"publisher","first-page":"74","DOI":"10.2307\/3214596","volume":"27","author":"P.G. Harrison","year":"1990","unstructured":"Harrison, P.G.: Laplace transform inversion and passage-time distributions in Markov processes. Journal of Applied Probability\u00a027(1), 74\u201387 (1990)","journal-title":"Journal of Applied Probability"},{"issue":"1","key":"8_CR55","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF01158520","volume":"10","author":"J. Abate","year":"1992","unstructured":"Abate, J., Whitt, W.: The Fourier-series method for inverting transforms of probability distributions. Queueing Systems\u00a010(1), 5\u201388 (1992)","journal-title":"Queueing Systems"},{"key":"8_CR56","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/511334.511345","volume-title":"Proceedings of ACM SIGMETRICS 2002","author":"P.G. Harrison","year":"2002","unstructured":"Harrison, P.G., Knottenbelt, W.J.: Passage time distributions in large Markov chains. In: Proceedings of ACM SIGMETRICS 2002, Marina Del Rey, California, June 2002, pp. 77\u201385. ACM Press, New York (2002)"},{"issue":"1","key":"8_CR57","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1287\/ijoc.7.1.36","volume":"7","author":"J. Abate","year":"1995","unstructured":"Abate, J., Whitt, W.: Numerical inversion of Laplace transforms of probability distributions. ORSA Journal on Computing\u00a07(1), 36\u201343 (1995)","journal-title":"ORSA Journal on Computing"},{"issue":"4","key":"8_CR58","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1287\/ijoc.8.4.413","volume":"8","author":"J. Abate","year":"1996","unstructured":"Abate, J., Choudhury, G.L., Whitt, W.: On the Laguerre method for numerically inverting Laplace transforms. INFORMS Journal on Computing\u00a08(4), 413\u2013427 (1996)","journal-title":"INFORMS Journal on Computing"},{"key":"8_CR59","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/511334.511345","volume-title":"Proceedings of ACM SIGMETRICS 2002","author":"P.G. Harrison","year":"2002","unstructured":"Harrison, P.G., Knottenbelt, W.J.: Passage-time distributions in large Markov chains. In: Martonosi, M., de Souza e Silva, E.A. (eds.) Proceedings of ACM SIGMETRICS 2002, Marina Del Rey, USA, June 2002, pp. 77\u201385. ACM Press, New York (2002)"},{"key":"8_CR60","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/j.laa.2003.12.018","volume":"386","author":"J.T. Bradley","year":"2004","unstructured":"Bradley, J.T., Dingle, N.J., Knottenbelt, W.J., Wilson, H.J.: Hypergraph-based parallel computation of passage time densities in large semi-Markov models. Journal of Linear Algebra and Applications\u00a0386, 311\u2013334 (2004)","journal-title":"Journal of Linear Algebra and Applications"},{"key":"8_CR61","unstructured":"Dingle, N.: Parallel Computation of Response Time Densities and Quantiles in Large Markov and Semi-Markov Models. PhD thesis, Imperial College London (October 2004)"},{"key":"8_CR62","unstructured":"Knottenbelt, W.: Generalised Markovian analysis of timed transition systems. Master\u2019s thesis, University of Cape Town, Cape Town, South Africa (July 1996)"},{"key":"8_CR63","volume-title":"Using MPI: Portable Parallel Programming with the Message Passing Interface","author":"W. Gropp","year":"1994","unstructured":"Gropp, W., Lusk, E., Skjellum, A.: Using MPI: Portable Parallel Programming with the Message Passing Interface. MIT Press, Cambridge (1994)"},{"key":"8_CR64","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/PNPM.1991.238781","volume-title":"Proceedings of the 4th International Workshop on Petri nets and Performance Models (PNPM\u201991)","author":"C.M. Woodside","year":"1991","unstructured":"Woodside, C.M., Li, Y.: Performance Petri net analysis of communication protocol software by delay-equivalent aggregation. In: Proceedings of the 4th International Workshop on Petri nets and Performance Models (PNPM\u201991), Melbourne, Australia, 2\u20135 December 1991, pp. 64\u201373. IEEE Computer Society Press, Los Alamitos (1991)"},{"key":"8_CR65","volume-title":"Using MPI: Portable Parallel Programming with the Message Passing Interface","author":"W. Gropp","year":"1994","unstructured":"Gropp, W., Lusk, E., Skjellum, A.: Using MPI: Portable Parallel Programming with the Message Passing Interface. MIT Press, Cambridge (1994)"},{"key":"8_CR66","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5712.001.0001","volume-title":"PVM Parallel Virtual Machine: A Users\u2019 Guide and Tutorial for Networked Parallel Computing","author":"A. Geist","year":"1994","unstructured":"Geist, A., Beguelin, A., Dongarra, J., Jiang, W., Manchek, R., Sunderam, V.: PVM Parallel Virtual Machine: A Users\u2019 Guide and Tutorial for Networked Parallel Computing. MIT Press, Cambridge (1994)"},{"key":"8_CR67","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/PNPM.2003.1231543","volume-title":"PNPM\u201903, Proceedings of Petri Nets and Performance Models","author":"J.T. Bradley","year":"2003","unstructured":"Bradley, J.T., Dingle, N.J., Knottenbelt, W.J., Harrison, P.G.: Performance queries on semi-Markov stochastic Petri nets with an extended Continuous Stochastic Logic. In: Ciardo, G., Sanders, W. (eds.) PNPM\u201903, Proceedings of Petri Nets and Performance Models, University of Illinois at Urbana-Champaign, September 2003, pp. 62\u201371. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"8_CR68","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-48778-6_13","volume-title":"Formal Methods for Real-Time and Probabilistic Systems","author":"G. Clark","year":"1999","unstructured":"Clark, G., Gilmore, S., Hillston, J.: Specifying Performance Measures for PEPA. In: Katoen, J.-P. (ed.) AMAST-ARTS 1999, ARTS 1999, and AMAST-WS 1999. LNCS, vol.\u00a01601, pp. 211\u2013227. Springer, Heidelberg (1999)"},{"key":"8_CR69","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/QEST.2004.1348020","volume-title":"QEST\u201904, Proceedings of 1st International Conference on the Quantitative Evaluation of Systems","author":"J. Julvez","year":"2004","unstructured":"Julvez, J., Jimenez, E., Recalde, L., Silva, M.: On observability in timed continuous Petri net systems. In: QEST\u201904, Proceedings of 1st International Conference on the Quantitative Evaluation of Systems, Enschede, September 2004, pp. 60\u201369. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"8_CR70","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/QEST.2005.12","volume-title":"QEST\u201905, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: QEST\u201905, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems, Torino, September 2005, pp. 33\u201342. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"8_CR71","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/3212147","volume":"7","author":"T.G. Kurtz","year":"1970","unstructured":"Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump Markov processes. Journal of Applied Probability\u00a07, 49\u201358 (1970)","journal-title":"Journal of Applied Probability"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72522-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:34:23Z","timestamp":1605746063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72522-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724827","9783540725220"],"references-count":71,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72522-0_8","relation":{},"subject":[]}}