[1] C., Petri, “Kommunikation mit automaten,” Doctoral Thesis, University of Bonn, 1962, (Available in English as: Communication with Automata, Technical Report RADC-TR-65-377, Rome Air Development Center, Griffiss NY, 1966).

[2] J., Peterson, Petri Net Theory and the Modeling of Systems. Prentice Hall, 1981.

[3] M. Ajmone, Marsan, G., Balbo, and G., Conte, “A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,” ACMTransactions on Computer Systems, vol. 2, pp. 93–122, 1984.Google Scholar

[4] G., Ciardo, J., Muppala, and K., Trivedi, “On the solution of GSPN reward models,” Performance Evaluation, vol. 12, pp. 237–253, 1991.Google Scholar

[5] G., Ciardo, J., Muppala, and K. S., Trivedi, “SPNP: Stochastic Petri net package,” in Proc. Third Int. Workshop on Petri Nets and Performance Models, 1989, pp. 142–151.Google Scholar

[6] G., Ciardo, “Toward a definition of modeling power for stochastic Petri net models,” in Proc. Int. Workshop on Petri Nets and Performance Models. IEEE Computer Society Press no. 796, 1987, pp. 54–62.

[7] A., Bobbio, “System modelling with Petri nets,” in System Reliability Assessment, eds. A., Colombo and A. S. de, Bustamante. Kluwer Academic P.G., 1990, pp. 103–143.

[8] P., Merlin and D., Faber, “Recoverability of communication protocols: Implication of a theoretical study,” IEEE Transactions on Communication, vol. COM-24, pp. 1036–1043, 1976.Google Scholar

[9] J., Sifakis, “Use of Petri nets for performance evaluation,” in Measuring, Modelling and Evaluating Computer Systems, eds. H., Beilner and E., Gelenbe. North Holland, 1977, pp. 75–93.

[10] C., Ramamoorthy and G., Ho, “Performance evaluation of asynchronous concurrent systems using Petri nets,” IEEE Transactions on Software Engineering, vol. SE-6, pp. 440–449, 1980.Google Scholar

[11] W., Zuberek, “Timed Petri nets and preliminary performance evaluation,” in Proc. 7th Ann. Symp. on Computer Architecture, 1980, pp. 88–96.Google Scholar

[12] S., Natkin, “Les reseaux de Petri stochastiques et leur application a l'evaluation des systemes informatiques,” Thèse de Docteur Ingegneur, CNAM, Paris, 1980.

[13] M., Molloy, “On the integration of delay and throughput measures in distributed processing models,” Phd Thesis, UCLA, 1981.

[14] G., Florin and S., Natkin, “Les reseaux de Petri stochastiques,” Technique et Science Informatique, vol. 4, pp. 143–160, 1985.Google Scholar

[15] M. Ajmone, Marsan, G., Balbo, A., Bobbio, G., Chiola, G., Conte, and A., Cumani, “On Petri nets with stochastic timing,” in Proc. Int. Workshop on Timed Petri Nets. IEEE Computer Society Press no. 674, 1985, pp. 80–87.

[16] C., Hirel, B., Tuffin, and K. S., Trivedi, “SPNP: Stochastic Petri nets. Version 6,” in Int. Conf. on Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS 2000), eds. B., Haverkort and H., Bohnenkamp, LNCS 1786, Springer Verlag, 2000, pp. 354–357.

[17] R., Sahner, K., Trivedi, and A., Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, 1996.

[18] G., Ciardo, A., Blakemore, P. F., Chimento, J. K., Muppala, and K., Trivedi, “Automated generation and analysis of Markov reward models using stochastic reward nets,” in Linear Algebra, Markov Chains, and Queueing Models, eds. C. D., Meyer and R. J., Plemmons. Springer, 1993, vol. 48, pp. 145–191.

[19] J., Couvillon, R., Freire, R., Johnson,W., Obal, M., Qureshi, M., Rai,W., Sanders, and J., Tvedt, “Performability modeling with UltraSAN,” IEEE Software, vol. 8, pp. 69–80, Sep. 1991.Google Scholar

[20] M., Malhotra and K., Trivedi, “Dependability modeling using Petri nets,” IEEE Transactions on Reliability, vol. R-44, pp. 428–440, 1995.Google Scholar

[21] Y., Cao, H., Sun, and K. S., Trivedi, “Performance analysis of reservation media-access protocol with access and serving queues under bursty traffic in GPRS/EGPRS,” IEEE Transactions on Vehicular Technology, vol. 52, no. 6, pp. 1627–1641, 2003.Google Scholar

[22] G., Ciardo, J. K., Muppala, and K. S., Trivedi, “Analyzing concurrent and fault-tolerant software using stochastic reward nets,” Journal of Parallel and Distributed Computing, vol. 15, no. 3, pp. 255–269, 1992.Google Scholar

[23] R., Ghosh, F., Longo, F., Frattini, S., Russo, and K. S., Trivedi, “Scalable analytics for IaaS cloud availability,” IEEE Transactions on Cloud Computing, vol. 2, no. 1, pp. 57–70, 2014.Google Scholar

[24] O. C., Ibe and K. S., Trivedi, “Stochastic Petri net models of polling systems,” IEEE Journal on Selected Areas in Communications, vol. 8, no. 9, pp. 1649–1657, 1990.Google Scholar

[25] O. C., Ibe, H., Choi, and K. S., Trivedi, “Performance evaluation of client–server systems,” IEEE Transactions on Parallel and Distributed Systems, vol. 4, no. 11, pp. 1217–1229, 1993.Google Scholar

[26] J. K., Muppala, K. S., Trivedi, V., Mainkar, and V. G., Kulkarni, “Numerical computation of response time distributions using stochastic reward nets,” Annals of Operations Research, vol. 48, pp. 155–184, 1994.Google Scholar

[27] H., Sun, X., Zang, and K. S., Trivedi, “A stochastic reward net model for performance analysis of prioritized DQDB MAN,” Computer Communications, vol. 22, no. 9, pp. 858–870, 1999.Google Scholar

[28] H., Sun, X., Zang, and K. S., Trivedi, “Performance of broadcast and unknown server (BUS) in ATM LAN emulation,” IEEE/ACM Transactions on Networking, vol. 9, no. 3, pp. 361–372, 2001.Google Scholar

[29] L. A., Tomek, J. K., Muppala, and K. S., Trivedi, “Modeling correlation in software recovery blocks,” IEEE Transactions on Software Engineering, vol. 19, no. 11, pp. 1071–1086, 1993.Google Scholar

[30] C., Wang, D., Logothetis, K. S., Trivedi, and Y., Viniotis, “Transient behavior of ATM networds under overloads,” in Proc. 15th Ann. Joint Conf. of the IEEE Computer and Communications Societies, Networking the Next Generation, 1996, pp. 978–985.Google Scholar

[31] D., Wang, W., Xie, and K. S., Trivedi, “Performability analysis of clustered systems with rejuvenation under varying workload,” Performance Evaluation, vol. 64, no. 3, pp. 247–265, 2007.Google Scholar

[32] J. K., Muppala, S. P., Woolet, and K. S., Trivedi, “Real-time systems performance in the presence of failures,” IEEE Computer, vol. 24, no. 5, pp. 37–47, 1991.Google Scholar

[33] D., Wang, B. B., Madan, and K. S., Trivedi, “Security analysis of SITAR intrusion tolerance system,” in Proc. 2003 ACM workshop on Survivable and Self-Regenerative Systems: in assoc. with 10th ACM Conf. on Computer and Communications Security, 2003, pp. 23–32.Google Scholar

[34] J. K., Muppala, A., Sathaye, R., Howe, and K. S., Trivedi, “Dependability modeling of a heterogeneous VAX-cluster system using stochastic reward nets,” in Hardware and Software Fault Tolerance in Parallel Computing Systems, ed. D. R., Avresky. Horwood, 1992, pp. 33–59.

[35] D., Codetta-Raiteri, “The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation,” Electronic Notes on Theoretical Computer Science, vol. 127, pp. 45–60, 2005.Google Scholar

[36] H., Sukhwani, A., Bobbio, and K., Trivedi, “Largeness avoidance in availability modeling using hierarchical and fixed-point iterative techniques,” International Journal of Performability Engineering, vol. 11, no. 4, pp. 305–319, 2015.Google Scholar

[37] W., Fischer and K., Meier-Hellstern, “The Markov-modulated Poisson process (MMPP) cookbook,” Performance Evaluation, vol. 18, no. 2, pp. 149–171, 1993.Google Scholar

[38] N., Gharbi and C., Dutheillet, “An algorithmic approach for analysis of finite-source retrial systems with unreliable servers,” Computers & Mathematics with Applications, vol. 62, no. 6, pp. 2535–2546, 2011.Google Scholar

[39] M. Ajmone, Marsan, A., Bobbio, G., Conte, and A., Cumani, “Performance analysis of degradable multiprocessor systems using generalized stochastic Petri nets,” IEEE Computer Society Newsletters, vol. 6, SI-1, pp. 47–54, 1984.Google Scholar

[40] J. B., Dugan, A., Bobbio, G., Ciardo, and K., Trivedi, “The design of a unified package for the solution of stochastic Petri net models,” in Proc. Int. Workshop on Timed Petri Nets. IEEE Comp Soc Press no. 674, 1985, pp. 6–13.

[41] J. K., Muppala and K. S., Trivedi, “GSPN models: Sensitivity analysis and applications,” in Proc. 28th Ann. Southeast Regional Conf., Greenville, South Carolina, USA, April 18–20, 1990, pp. 25–33.

[42] R., Wolff, “Poisson arrivals see time averages,” Operations Research, vol. 30, no. 2, pp. 223–231, 1982.Google Scholar

[43] J., Peterson, “Petri nets,” Computing Surveys, vol. 9, pp. 223–252, 1977.Google Scholar

[44] T., Agerwala, “Putting Petri nets to work,” IEEE Computer, pp. 85–94, Dec. 1979.Google Scholar

[45] W., Reisig, Petri Nets: An Introduction. Springer-Verlag, 1982.

[46] G., Brams, Réseaux de Petri: Théorie et pratique. Masson, 1983 (in French).

[47] M., Silva, Las Redes de Petri en la Automatica y la Informatica. AC, 1985.

[48] J. B., Dugan, K., Trivedi, R., Geist, and V., Nicola, “Extended stochastic Petri nets: Applications and analysis,” in Proc. PERFORMANCE '84, Paris, 1984.

[49] P., Haas and G., Shedler, “Regenerative stochastic Petri nets,” Performance Evaluation, vol. 6, pp. 189–204, 1986.Google Scholar

[50] M. Ajmone, Marsan, G., Balbo, A., Bobbio, G., Chiola, G., Conte, and A., Cumani, “The effect of execution policies on the semantics and analysis of stochastic Petri nets,” IEEE Transactions on Software Engineering, vol. SE-15, pp. 832–846, 1989.

[51] A., Bobbio, A., Cumani, and R. Del, Bello, “Reduced Markovian representation of stochastic Petri net models,” Systems Science, vol. 10, pp. 5–23, 1984.Google Scholar

[52] W., Sanders and J., Meyer, “Reduced base model construction methods for stochastic activity networks,” IEEE Journal on Selected Areas in Communications, vol. 9, no. 1, pp. 25–36, Jan. 1991.Google Scholar

[53] M. Ajmone, Marsan, G., Balbo, G., Conte, S., Donatelli, and G., Franceschinis, Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing, 1995.

[54] A., Bobbio, A., Puliafito, M., Telek, and K., Trivedi, “Recent developments in non-Markovian stochastic Petri nets,” Journal of Systems Circuits and Computers, vol. 8, no. 1, pp. 119–158, Feb. 1998.Google Scholar

[55] H., Choi, V., Kulkarni, and K., Trivedi, “Markov regenerative stochastic Petri nets,” Performance Evaluation, vol. 20, pp. 337–357, 1994.Google Scholar

[56] R., German, Performance Analysis of Communication Systems: Modeling with Non-Markovian Stochastic Petri Nets. John Wiley & Sons, 2000.

[57] K. S., Trivedi and V., Kulkarni, “FSPNs: Fluid stochastic Petri nets,” in Proc. 14th Int. Conf. on Applications and Theory of Petri Nets, ed. M. A., Marsan. Springer-Verlag, 1993, vol. 691, pp. 24–31.

[58] G., Horton, V., Kulkarni, D., Nicol, and K. S., Trivedi, “Fluid stochastic Petri nets: Theory, application, and solution techniques,” European Journal of Operations Research, vol. 105, no. 1, pp. 184–201, Feb. 1998.Google Scholar

[59] G., Ciardo, D. M., Nicol, and K. S., Trivedi, “Discrete-event simulation of fluid stochastic Petri nets,” IEEE Transactions on Software Engineering, vol. 25, no. 2, pp. 207–217, 1999.Google Scholar

[60] M., Gribaudo, M., Sereno, A., Horváth, and A., Bobbio, “Fluid stochastic Petri nets augmented with flush-out arcs:Modelling and analysis,” Discrete Event Dynamic Systems, vol. 11 (1/2), pp. 97–117, Jan. 2001.Google Scholar

[61] M., Gribaudo, A., Horváth, A., Bobbio, E., Tronci, E., Ciancamerla, and M. Minichino, “Fluid Petri nets and hybrid model-checking: A comparative case study,” Reliability Engineering and System Safety, vol. 81, pp. 239–257, 2003.Google Scholar

[62] A., Bobbio, S., Garg, M., Gribaudo, A., Horváth, M., Sereno, and M., Telek, “Compositional fluid stochastic Petri net model for operational software system performance,” in Int. Workshop on Software Aging and Rejuvenation WOSAR-08. IEEE Computer Society, 2008, pp. 1–6.

[63] K., Jensen and L., Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, 2009.

[64] K., Jensen and G., Rozenberg, High-Level Petri Nets: Theory and Application. Springer Verlag, 1991.