F. Baskett, K. M. Chandy, R. R. Muntz, and F. G. Palacios, Open, Closed, and Mixed Networks of Queues with Different Classes of Customers, Journal of the ACM, vol.22, issue.2, pp.248-260, 1975.
DOI : 10.1145/321879.321887

P. Buchholz, G. Ciardo, S. Donatelli, and P. Kemper, Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models, INFORMS Journal on Computing, vol.12, issue.3, pp.203-222, 2000.
DOI : 10.1287/ijoc.12.3.203.12634

J. P. Buzen, Computational algorithms for closed queueing networks with exponential servers, Communications of the ACM, vol.16, issue.9, pp.527-531, 1973.
DOI : 10.1145/362342.362345

G. Carlson, A user's view of hardware performance monitors, Proc. IFIP Congress 71, pp.128-132, 1971.

G. Casale, R. R. Muntz, and G. Serazzi, Tools for computer performance modeling and reliability analysis, ACM Performance Evaluation Review, vol.36, issue.4, 2009.
DOI : 10.1145/1530873.1530875

G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, Stochastic well-formed colored nets and symmetric modeling applications. Computers, IEEE Transactions on, vol.42, issue.11, pp.1343-1360, 1993.
DOI : 10.1109/12.247838

M. Chung, G. Ciardo, S. Donatelli, N. He, B. Plateau et al., A comparison of structural formalisms for modeling large Markov models, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings., p.196, 2004.
DOI : 10.1109/IPDPS.2004.1303217

D. Ferrari, G. Serazzi, and A. Zeigner, Measurement and Tuning of Computer Systems, 1983.

G. S. Fishman, Statistical Analysis for Queueing Simulations, Management Science, vol.20, issue.3, pp.363-369, 1973.
DOI : 10.1287/mnsc.20.3.363

M. Gribaudo, Fspnedit: a fluid stochastic petri net modeling and analysis tool, Proc. of Tools of Aachen, pp.24-28, 2001.

P. Heidelberger and P. D. Welch, A spectral method for confidence interval generation and run length control in simulations, Communications of the ACM, vol.24, issue.4, pp.233-245, 1981.
DOI : 10.1145/358598.358630

D. J. Herman, Scert: a computer evaluation tool, Datamation, vol.13, issue.2, pp.26-28, 1967.

D. J. Herman and F. Ihrer, The use of a computer to evaluate computers, Proceedings of the April 21-23, 1964, spring joint computer conference on XX, AFIPS '64 (Spring), pp.383-395, 1964.
DOI : 10.1145/1464122.1464161

J. Hillston, Fluid flow approximation of PEPA models, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), pp.33-42, 2005.
DOI : 10.1109/QEST.2005.12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.9783

K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, 1997.

D. Kartson, G. Balbo, S. Donatelli, G. Franceschinis, and G. Conte, Modelling with Generalized Stochastic Petri Nets, 1994.

L. Kleinrock, Queueing Systems, 1976.

S. S. Lavenberg, A perspective on queueing models of computer performance. Performance Evaluation, pp.53-76, 1989.

E. Lemay, W. Unkenholz, D. Parks, C. Muehrcke, K. Keefe et al., Adversarydriven state-based system security evaluation, MetriSec '10: Proceedings of the 6th International Workshop on Security Measurements and Metrics, pp.1-9, 2010.

H. M. Markowitz, B. Hausner, and H. W. Karr, Simscript: a simulation programming language, 1963.

A. Martens, H. Koziolek, S. Becker, and R. Reussner, Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms, Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering, WOSP/SIPEW '10, pp.105-116, 2010.
DOI : 10.1145/1712605.1712624
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.7706

S. Montani, L. Portinale, A. Bobbio, and D. Codetta-raiteri, Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks, Reliability Engineering & System Safety, vol.93, issue.7, pp.922-932, 2008.
DOI : 10.1016/j.ress.2007.03.013

N. R. Nielsen, Computer simulation of computer system performance, Proceedings of the 1967 22nd national conference on -, pp.581-590, 1967.
DOI : 10.1145/800196.806027

K. Pawlikowski, Steady-state simulation of queueing processes: survey of problems and solutions, ACM Computing Surveys, vol.22, issue.2, pp.123-168, 1990.
DOI : 10.1145/78919.78921

D. Potier and M. Veran, The markovian solver of QNAP2 and examples Computer Networking and Perf. Eval, pp.259-279, 1986.

C. H. Sauer and K. M. Chandy, Computer Systems Performance Modeling, 1981.

C. H. Sauer, E. A. Mcnair, and J. F. Kurose, The research queueing (RESQ) package, version 2: Introduction and examples, 1982.
DOI : 10.1145/1500774.1500807

D. Saure, P. Glynn, and A. Zeevi, A linear programming algorithm for computing the stationary distribution of semi-martingale reflecting brownian motion. under submission

C. Smith and C. Llado, Performance model interchange format (PMIF 2.0): XML definition and implementation, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings., 2004.
DOI : 10.1109/QEST.2004.1348017
URL : http://www.perfeng.com/papers/pmifpapr.pdf

C. Smith, R. Lladó, and . Puigjaner, Performance Model Interchange Format (PMIF 2): A comprehensive approach to Queueing Network Model interoperability, Performance Evaluation, vol.67, issue.7, pp.548-568, 2010.
DOI : 10.1016/j.peva.2010.01.006

C. Smith and L. Williams, Performance Engineering Evaluation of CORBA-based Distributed Systems with SPE??ED, Lecture Notes in Computer Science, vol.1469, pp.321-335, 1998.
DOI : 10.1007/3-540-68061-6_26

C. Smith and L. Williams, Performance Solutions: A Practical Guide to Creating Responsive , Scalable Software, 2001.

W. J. Stewart, Introduction to the Numerical Solution of Markov Chains, 1994.

K. S. Trivedi, A. Bobbio, G. Ciardo, R. German, A. Puliafito et al., Non-markovian petri nets, SIGMETRICS '95/PERFORMANCE '95, pp.263-264, 1995.
DOI : 10.1145/223586.223616