Recent developments in non-Markovian stochastic Petri nets

Journal of Circuits, Systems and Computers

Volumn 8, Issue 1, 1998, Pages 119-158

  Bobbio, Andrea ^a   Puliafito, Antonio ^b   Telek, Miklós ^c   Trivedi, Kishor S ^d  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF CATANIA   (Italy)

^c BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^d Duke University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0007934919     PISSN: 02181266     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218126698000067     Document Type: Article

References (122)

1. 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 Trans. Software. Eng. SE-15 (1989) 832-846.
2. M. Ajmone Marsan, G. Balbo, and G. Conte, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems", ACM Trans. Comp. Syst. 2 (1984) 93-122.
3. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Pranceschinis, Modeling with Generalized Stochastic Petri Nets, John Wiley & Sons, New York, 1995.
4. M. Ajmone Marsan and G. Chiola, "On Petri nets with deterministic and exponentially distributed firing times", in Lecture Notes in Computer Science, Vol. 266, Springer-Verlag, 1987, pp. 132-145.
5. H. Alla and R. David, "Continuous and hybrid Petri nets", J. Circuits Syst. Comput. this same issue, 1998.
6. S. C. Allmaier, M. Kowarschik, and G. Horton, "State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor", in 7th Int. Conf. Petri Nets and Performance Models - PNPM97, IEEE Computer Society, 1997, pp. 112-121.
7. D. Anick, D. Mitra, and M. M. Sondhi, "Stochastic theory of data handling systems with multiple sources", Bell Syst. Tech. J. 61 (1982) 1871-1884.
8. F. Baccelli, "Ergodic theory of stochastic Petri networks", Annal. Prob. 20 (1992) 375-396.
9. F. Baccelli and M. Canales, "Parallel simulation of stochastic Petri nets using recurrence equations", ACM Trans. Modeling and Computer Simulation 3 (1993) 20-41.
10. F. Baccelli, B. Gaujal, and S. Foss, "Structural, themporal and stochastic properties of unbounded free-choice Petri nets", INRIA technical report, No. 2411, 1994.
11. F. Baccelli and Z. Liu, "Comparison properties of stochastic decision free Petri nets", IEEE Trans. Automatic Control 37 (1992) 1905-1930.
12. G. Balbo, S. C. Bruell, and S. Ghanta, "Combining queueing network and generalized stochastic Petri net models for the analysis of some software blocking phenomena", IEEE Trans. Software Eng. 12 (1986) 561-576.
13. G. Balbo, S. C. Bruell, and S. Ghanta, "Combining queueing network and generalized stochastic Petri nets for the solution of complex models of system behavior", IEEE Trans. Comput. 37 (1988) 1251-1268.
14. F. Bause, "Queueing Petri nets: a formalism for the combined qualitative and quantitative analysis of systems", in Proc. 5th Int. Workshop on Petri Nets and Performance Models - PNPM93, IEEE Computer Society, 1993, pp. 14-23.
15. A. Bobbio, V. G. Kulkarni, A. Puliafito, M. Telek, and K. Trivedi, "Preemptive repeat identical transitions in Markov Regenerative Stochastic Petri Nets", in 6th Int. Conf. Petri Nets and Performance Models - PNPM95, IEEE Computer Society, 1995, pp. 113-122.
16. A. Bobbio and M. Telek, "A benchmark for PH estimation algorithms: results for Acyclic-PH", Stochastic Models 10 (1994) 661-677.
17. A. Bobbio and M. Telek, "Combined preemption policies in MRSPN", in Ravi Mittal et al. (eds.), Fault Tolerant Systems and Software, Narosa Pub. House, New Delhi, India, 1995, pp. 92-98.
18. A. Bobbio and M. Telek, "Markov regenerative SPN with non-overlapping activity cycles", in Int. Computer Performance and Dependability Symp. - IPDS95, IEEE Computer Society Press, 1995, pp. 124-133.
19. A. Bobbio and M. Telek, "Non-exponential stochastic Petri nets: an overview of methods and techniques", to be published in Comput. Syst. Sci. & Eng., 1998.
20. A. Bobbio and K. S. Trivedi, "An aggregation technique for the transient analysis of stiff Markov chains", IEEE Trans. Comput. C-35 (1986) 803-814.
21. R. J. Boucherie, "A characterization of independence for competing Markov chain with applications to stochastic Petri nets", in Proc. 5th Int. Workshop on Petri Nets and Performance Models - PNPM93, IEEE Computer Society, 1993, pp. 117-126.
22. R. J. Boucherie and M. Sereno, "On the traffic equations for batch routing queueing networks and stochastic Petri nets", to appear in Advances in Applied Probability, 1997.
23. S. C. Bruell and S. Ghanta, "Throughput bounds for generalized stochastic Petri net models", in Int. Workshop Timed Petri Nets, Torino, Italy, IEEE Computer Society Press, No. 674, 1985, pp. 250-261.
24. P. Buchholz, "A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis", J. Parallel and Distributed Computation 15 (1992) 207-224.
25. P. Buchholz, "Aggregation and reduction techniques for hierarchical GCSPNs", in Proc. Int. Workshop on Petri Nets and Performance Models - PNPM93, IEEE Computer Society, 1993, pp. 216-225.
26. P. Buchholz, "Hierarchical structuring of superposed GSPNs", in 7th Int. Conf. Petri Nets and Performance Models - PNPM97, IEEE Computer Society, 1997, pp. 81-90.
27. J. Campos, G. Chiola, J. M. Colom, and M. Silva, "Properties and performance bounds for timed marked graphs", IEEE Trans. Circuits Syst. - I: Fundamental Theory and Applications 39 (1992) 386-401.
28. J. Campos, G. Chiola, and M. Silva, "Ergodicity and throughput bounds of Petri nets with unique consistent firing count vector", IEEE Trans. Software Eng. 17 (1991) 117-125.
29. J. Campos, J. M. Colom, H. Jungnitz, and M. Silva, "Approximate throughput computation of stochastic marked graphs", IEEE Trans. Software Eng. 20 (1994) 526-535.
30. J. Campos, M. Silva, and S. Donatelli, "Structured solution of stochastic DSSP systems", in 7th Int. Conf. Petri Nets and Performance Models - PNPM97, IEEE Computer Society, 1997, pp. 91-100.
31. F. Comonner, A. W. Holt, S. Even, and A. Pnuelli, "Marked directed graphs", J. Comput. Syst. Sci. 5 (1971) 511-523.
32. S. Caselli, G. Conte, and P. Marenzoni, "Massively parallel analysis GSPN models", in Proc. Int. Conf. Application and Theory of Petri Nets, Springer-Verlag - LNCS, Vol. 935, 1995, pp. 181-200.
33. G. Chiola, "GreatSPN 1.5 Software architecture", in G. Balbo and G. Serazzi (eds.), Computer Performance Evaluation, Elsevier Science Publishers, 1992, pp. 121-136.
34. G. Chiola, C. Anglano, J. Campos, J. M. Colom, and M. Silva, "Operational analysis of timed Petri nets and application to the computation of performance bounds", in Proc. 5th Int. Workshop on Petri Nets and Performance Models - PNPM93, IEEE Computer Society, 1993, pp. 128-137.
35. G. Chiola, S. Donatelli, and G. Franceschinis, "GSPNs versus SPNs: what is the actual role of immediate transitions?" in Proc. 4th Int. Workshop on Petri Nets and Performance Models - PNPM91, IEEE Computer Society, 1991.
36. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, "Stochastic well-formed coloured nets and multiprocessor modelling applications", in K. Jensen and G. Rozenberg (eds.), High-Level Petri Nets. Theory and Application, Springer-Verlag, 1991.
37. Hoon Choi, V. G. Kulkarni, and K. Trivedi, "Transient analysis of deterministic and stochastic Petri nets," in Proc. 14th Int. Conf. Application and Theory of Petri Nets, Chicago, June 1993.
38. Hoon Choi, V. G. Kulkarni, and K. Trivedi, "Markov regenerative stochastic Petri nets", Performance Evaluation 20 (1994) 337-357.
39. G. Ciardo, "Toward a definition of modeling power for stochastic Petri net models" , in Proc. Int. Workshop on Petri Nets and Performance Models, Madison, IEEE Computer Society Press, No. 796, 1987, pp. 54-62.
40. G. Ciardo, "Petri nets with marking-dependent arc cardinality: properties and analysis", in Proc. 15th Int. Conf. Application and Theory of Petri Nets, Lectures Notes in Computer Science, No. 815, Springer-Verlag, 1994, pp. 179-198.
41. G. Ciardo, "Discrete-time Markovian stochastic Petri nets", in Proc. 2nd Int. Workshop on Numerical Solution of Markov Chains, 1995, pp. 339-358.
42. G. Ciardo, R. German, and C. Lindemann, "A characterization of the stochastic process underlying a stochastic Petri net", IEEE Trans. Software Eng. 20 (1994) 506-515.
43. G. Ciardo, J. Gluckman, and D. Nicol, "Distributed state-space generation of discrete state stochastic models", to appear in ORSA J. Comp., 1997.
44. G. Ciardo, J. Muppala, and K. S. Trivedi, "SPNP: stochastic Petri net package", in Proc. 3rd Int. Workshop on Petri Nets and Performance Models - PNPM89, IEEE Computer Society, 1989, pp. 142-151.
45. G. Ciardo, J. Muppala, and K. S. Trivedi, "On the solution of GSPN reward models", Performance Evaluation 12 (1991) 237-253.
46. G. Ciardo, D. Nicol, and K. Trivedi, "Discrete-event simulation of Fluid Stochastic Petri Nets", in 7th Int. Conf. Petri Nets and Performance Models - PNPM97, IEEE Computer Society, 1997, pp. 217-226.
47. G. Ciardo and K. S. Trivedi, "A decomposition approach for stochastic reward net models", Performance Evaluation 18 (1993) 37-59.
48. G. Ciardo and R. Zijal, "Well-defined stochastic Petri nets", in Proc. 4th Int. Workshop on Modeling Analysis and Simulation of Computer and Telecomm. Syst. (MASCOTS'96), IEEE Computer Society Press, 1996, pp. 278-284.
49. E. Cinlar, Introduction to Stochastic Processes, Prentice-Hall, Englewood Cliffs, 1975.
50. J. L. Coleman, W. Henderson, and P. G. Taylor, "Product form equilibrium distributions and an algorithm for classes of batch movement queueing networks and stochastic Petri nets", Performance Evaluation 26 (1996) 159-180.
51. J. A. Couvillon, R. Freire, R. Johnson, W. D. Obal, M. A. Qureshi, M. Rai, W. Sanders, and J. E. Tvedt, "Performability modeling with UltrasSAN", IEEE Software 8 (1991) 69-80.
52. D. R. Cox, "The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables", Proc. Cambridge Philosophical Society 51 (1955) 433-440.
53. A. Cumani, "Esp - A package for the evaluation of stochastic Petri nets with phase-type distributed transition times", in Proc. Int. Workshop Timed Petri Nets, Torino, Italy, IEEE Computer Society Press, No. 674, 1985, pp. 144-151.
54. S. Donatelli, "Superposed stochastic automata: a class of stochastic Petri nets amenable to parallel solution", Performance Evaluation 18 (1993) 21-36.
55. S. Donatelli, "Superposed generalized stochastic Petri nets: definition and efficient solution", in Proc. Int. Conf. Application and Theory of Petri Nets, Springer-Verlag - LNCS, Vol. 815, 1994, pp. 258-277.
56. S. Donatelli and M. Sereno, "On the product form solution for stochastic Petri nets," in Proc. Int. Conf. Application and Theory of Petri Nets, Springer-Verlag - LNCS, Vol. 616, 1993, pp. 154-172.
57. J. Bechta Dugan, K. Trivedi, R. Geist, and V. F. Nicola, "Extended stochastic Petri nets: applications and analysis", in Proc. PERFORMANCE '84, Paris, 1984.
58. E. De Souza e Silva and H. R. Gail, "Calculating availability and performability measures of repairable computer systems using randomization", J. ACM 36 (1989) 171-193.
59. L. Esparza and M. Silva, "On the analysis and synthesis of free choice systems", Advances in Petri Nets, LNCS 483 (1990) 243-286.
60. G. Florin and S. Natkin, "Les reseaux de Petri stochastiques", Technique et Science Informatique 4 (1985) 143-160.
61. R. German, "New results for the analysis of deterministic and stochastic Petri nets", in Int. Computer Performance and Dependability Symp. - IPDS95, IEEE CS Press, 1995, pp. 114-123.
62. R. German and C. Lindemann, "Analysis of stochastic Petri nets by the method of supplementary variables", Performance Evaluation 20 (1994) 317-335.
63. R. German, D. Logothetis, and K. Trivedi, "Transient analysis of Markov Regenerative Stochastic Petri Nets: a comparison of approaches", in 6th Int. Conf. on Petri Nets and Performance Models - PNPM95, IEEE Computer Society, 1995, pp. 103-112.
64. A. Goyal, S. Lavenberg, and K. S. Trivedi, "Probabilistic modeling of computer system availability", Annals of Op. Res. 8 (1987) 285-306.
65. P. J. Haas and G. S. Shedler, "Regenerative stochastic Petri nets", Performance Evaluation 6 (1986) 189-204.
66. P. J. Haas and G. S. Shedler, "Stochastic Petri nets with simultaneous transition firings", in Proc. Int. Workshop on Petri Nets and Performance Models -PNPM87, IEEE Computer Society, 1987, pp. 24-32.
67. S. Haddad and P. Moreaux, "Evaluation of high level Petri nets by means of aggregation and decomposition", in 6th Int. Conf. Petri Nets and Performance Models - PNPM95, IEEE Computer Society, 1995, pp. 11-20.
68. S. Haddad and P. Moreaux, "Asynchronous composition of high level Petri nets: a quantitative approach," in Proc. 17th Int. Conf. Application and Theory of Petri Nets, ICATPN '96, Springer-Verlag - LNCS, Vol. 1091, Osaka, Japan, June 1996, pp. 192-211.
69. S. Haddad, P. Moreaux, and G. Chiola, "Efficient handling of phase-type distributions in generalized stochastic Petri nets", in P. Azéma and G. Balbo (eds.), Application and Theory of Petri Nets (18th Int. Conf.), Lecture. Notes in Computer Science, Vol. 1248, Springer-Verlag, 1997, pp. 175-194.
70. B. Haverkort, "Matrix-geometric solution of infinite stochastic Petri nets", in Int. Computer Performance and Dependability Symp. - IPDS95, IEEE Computer Society Press, 1995, pp. 72-81.
71. B. Haverkort and A. Ost, "Steady-state analysis of infinite stochastic Petri nets: a comparison between the spectral expansion and the matrix-geometric method", in 7th Int. Conf. Petri Nets and Performance Models - PNPM97, IEEE Computer Society, 1997, pp. 36-45.
72. B. R. Haverkort and K. Trivedi, "Specification techniques for Markov reward models," Discrete Event Dynamic Systems: Theory and Applications 3 (1993) 219-247.
73. A. Heindl and R. German, "A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNs", in 7th Int. Conf. Petri Nets and Performance Models - PNPM97, IEEE Computer Society, 1997, pp. 60-69.
74. W. Henderson, D. Lucie, and P. G. Taylor, "A net level performance analysis of stochastic Petri nets", J. Aust. Math. Soc. Ser. B 31 (1989) 176-187.
75. M. A. Holliday and M. K. Vernon, "A generalized timed Petri net model for performance analysis", IEEE Trans. Software Eng. SE-13 (1987) 1297-1310.
76. G. Horton, V. Kulkarni, D. Nicol, and K. Trivedi, "Fluid stochastic Petri nets: Theory, application and solution", to appear in European J. Operational Research, 1997.
77. S. M. R Islam and H. H. Ammar, "On bounds for token probabilities in a class of generalized stochastic Petri nets, in Proc. 3rd Int. Workshop on Petri Nets and Performance Models - PNPM89, IEEE Computer Society, 1989, pp. 221-227.
78. H. Kantz and K. S. Trivedi, "Reliability modeling of the MARS system: A case study in the use of different tools and techniques, in Proc. 4th Int. Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, Los Alamitos, CA, Dec. 1991.
79. P. Kemper, "Numerical analysis of superposed GSPNs", IEEE Trans. Software Eng. 22 (1996) 615-628.
80. P. Kemper, "Reachability analysis based on structured representation", in Proc. Int. Conf. Application and Theory of Petri Nets, Springer-Verlag - LNCS, Vol. 1091, 1996, pp. 269-288.
81. P. Kemper, "Transient analysis of superposed GSPNs, in 7th Int. Conf. on Petri Nets and Performance Models - PNPM97, , IEEE Computer Society, 1997, pp. 101-110.
82. K. Trivedi and V. Kulkarni, "FSPNs: fluid stochastic Petri nets", in Proc. 14th Int. Conf. Application and Theory of Petri Nets, Chicago, 1993, pp. 24-31.
83. V. G. Kulkarni, Modeling and Analysis of Stochastic Systems, Chapman Hall, 1995.
84. V. G. Kulkarni, "Fluid models for single buffer systems", in Frontiers in Queueing: Models, Methods and Problems, to appear, CRC Press, 1997.
85. C. Lam and R. Yeh, "Optimal maintenance policies for deteriorating systems under various maintenance strategies", IEEE Trans. Reliability 43 (1994).
86. A. A. Lazar and T. G. Robertazzi, "Markovian Petri net protocols with product form solution", Performance Evaluation 12 (1991) 67-77.
87. R. Lepold, "PEPNET: A new approach to performability modelling using stochastic Petri nets", in Proc. 1st Int. Workshop on Performability Modeling of Computer and Communication Systems, 1991, pp. 3-17.
88. M. Li and N. D. Georganas, "Parametric analysis of stochastic Petri nets", in G. Balbo and G. Serazzi (eds.), Computer Performance Evaluation Elsevier Science Publishers, 1992.
89. C. Lindemann, "An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models", Performance Evaluation 18 (1993) 75-95.
90. C. Lindemann, "DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets", Performance Evaluation 22 (1995) 3-21.
91. Z. Liu, "Performance bounds for stochastic timed Petri nets", in G. De Michelis and M. Diaz (eds.), Application and Theory of Petri Nets (16th Int. Conf.), Lecture Notes in Computer Science, Vol. 935, Springer-Verlag, 1995, pp. 316-334.
92. D. Logothetis, K. Trivedi, and A. Puliafito, "Markov regenerative models", in Int. Comput. Performance and Dependability Symposium - IPDS95, IEEE Computer Society Press, 1995, pp. 134-143.
93. P. Marenzoni, S. Caselli, and G. Conte, "Analysis of large GSPN models: a distributed solution tool", in 7th Int. Conf. Petri Nets and Performance Models - PNPM97, IEEE Computer Society, 1997, pp. 122-131.
94. M. K. Molloy, "On the Integration of Delay and Throughput Measures in Distributed Processing Models", PhD Thesis, UCLA, 1981.
95. M. K. Molloy, "Performance analysis using stochastic Petri nets", IEEE Trans. Comput. C-31 (1982) 913-917.
96. M. K. Molloy, "Discrete time stochastic Petri nets", IEEE Trans. Software Eng. SE-11 (1985) 417-423.
97. M. K. Molloy, "Fast bounds for stochastic Petri nets", in Int. Workshop Timed Petri Nets, Torino, Italy, IEEE Computer Society Press, No. 674, 1985, pp. 244-249.
98. M. K. Molloy, "Petri net modeling, the past, the present, the future", in Proc. 3rd Int. Workshop on Petri Nets and Performance Models - PNPM89, IEEE Computer Society, 1989.
99. Muppala, J. K. et al., "Dependability modeling of a heterogenous VAXcluster system using stochastic reward nets", in D. R. Avresky (ed.), Hardware and Software Fault Tolerance in Parallel Computing Systems, Ellis Horwood Ltd., 1992, pp. 33-59.
100. T. Murata, "Petri nets: properties, analysis and applications", Proc. IEEE 77 (1989) 541-580.
101. S. Natkin, Les reseaux de Petri stochastiques et leur application a l'evaluation des systemes informatiques, These de Docteur Ingegneur, CNAM, Paris, 1980.
102. M. F. Neuts, Matrix Geometric Solutions in Stochastic Models, Johns Hopkins University Press, Baltimore, 1981.
103. J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, Englewood Cliffs, 1981.
104. B. D. Plateau, "On the stochastic structure of parallelism and synchronization models for distributed algorithms", in Proc. ACM/SIGMETRICS Conf., Austin, 1985, pp. 147-154.
105. A. Puliafito, M. Scarpa, and K. S. Trivedi, "Petri nets with k simultaneously enabled generally distributed timed transitions", to appear in Performance Evaluation, 1998.
106. L. Recalde, E. Teruel, and M. Silva, On well-formedness analysis: the case of deterministic systems of sequential processes", in J. Desel (ed.), Structures in Concurrency Theory, Springer-Verlag, 1995, pp. 279-293.
107. A. Reibman, R. Smith, and K. S. Trivedi, "Markov and Markov reward model transient analysis: an overview of numerical approaches", European J. Operational Research 40 (1989) 257-267.
108. A. Reibman and K. S. Trivedi, "Numerical transient analysis of Markov models", Comp. and Op. Res. 15 (1988) 19-36.
109. A. Reibman and K. S. Trivedi, "Transient analysis of cumulative measures of Markov chain behavior", Stochastic Models 5 (1989) 683-710.
110. R. Sahner, K. S. Trivedi, and A. Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package, Kluwer Academic Publisher, 1995.
111. W. H. Sanders and J. F. Meyer, "Reduced base model construction methods for stochastic activity networks", IEEE J. Selected Areas in Commun. 9, 1 (1991) 25-36.
112. M. Sereno, "Approximate mean value analysis for stochastic marked graphs", IEEE Trans. Software Eng. 22 (1996) 654-664.
113. M. Sereno and G. Balbo, "Computational algorithms for product form solution stochastic Petri nets", in Proc. 5th Int. Workshop on Petri Nets and Performance Models - PNPM93, IEEE Computer Society, 1993.
114. M. Silva, L. Recalde, and E. Teruel, "Linear algebraic technique for the analysis of liveness of Petri nets", J. Circuits Syst. Comp., this same issue, 1998.
115. R. Smith, K. Trivedi, and A. V. Ramesh, "Performability analysis: Measures, an algorithm and a case study", IEEE Trans. Comput. C-37 (1988) 406-417.
116. W. J. Stewart, Introduction to the Numerical Solution of Markov Chains, Princeton University Press, 1994.
117. M. Telek and A. Bobbio, "Markov regenerative stochastic Petri nets with age type general transitions", in G. De Michelis and M. Diaz (eds.), Application and Theory of Petri Nets (16th Int. Conf.), Lecture Notes in Computer Science, Vol. 935, Springer-Verlag, 1995, pp. 471-489.
118. M. Telek, A. Bobbio, L. Jereb, A. Puliafito, and K. Trivedi, "Steady state analysis of Markov regenerative SPN with age memory policy", in H. Beilner and F. Bause (eds.), 8th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Lecture Notes in Computer Science, Vol. 977, Springer-Verlag, 1995, pp. 165-179.
119. M. Telek, A. Bobbio, and A. Puliafito, "Steady state solution of MRSPN with mixed preemption policies", in Int. Computer Performance and Dependability Symp. - IPDS96, IEEE Computer Society Press, 1996, pp. 106-115.
120. M. Telek, Some Advanced Reliability Modeling Techniques, CSc/PhD Thesis, Hungarian Academy of Science, 1994.
121. L. A. Tomek and K. S. Trivedi, "Fixed point iteration in availability modeling", in M. D. Cin and W. Hohl (eds.), Proc. 5th Int. GI/ITG/GMA Conference on Fault-Tolerant Computing Systems, Springer-Verlag, Berlin, Sep. 1991, pp. 229-240.
122. C. Valdez-Flores and R. M. Feldman, "A survey of preventive maintenance models for stochastically deteriorating single-unit systems", Naval Research Logistic Quarterly 36 (1989) 419-446.