Tools for Formulating Markov Models
Author:
Ciardo Gianfranco
Reference57 articles.
1. Ajmone Marsan, M., Balbo, G., Bobbio, A., Chiola, G., Conte, G., and Cumani, A. (1989). The effect of execution policies on the semantics and analyis of Stochastic Petri Nets. IEEE Trans. Softw. Eng., 15 (7): 832–846. 2. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., and Franceschinis, G. (1995). Modelling with generalized stochastic Petri nets. John Wiley amp; Sons. 3. Amoia, V., De Micheli, G., and Santomauro, M. (1981). Computer-oriented formulation of transition-rate matrices via Kronecker algebra. IEEE Trans. Rel., 30: 123–132. 4. Baskett, F., Chandy, K. M., Muntz, R. R., and PalaciosGomez, F. (1975). Open, Closed, and Mixed networks of queues with different classes of customers. J. ACM, 22 (2): 335–381. 5. Bause, F., Buchholz, P., and Kemper, P. (1995). QPN-Tool for the specification and analysis of hierarchically combined queueing Petri nets. In Beilner, H. and Bause, F., editors, Quantitative Evaluation of Computing and Communication Systems, 8th Int. Conf. Modelling Techniques and Tools, LNCS 977, pages 224–238.
|
|