Material adicional
On stochastic processes and Markov chains:
- J. R. Norris’ book examples of Markov Chains applications in population genetics (Wright-Fisher model and Moran model).
- L. Allen’s book examples of DTMC epidemic models.
- Lawrence R. Rabiner: “A tutorial on hidden Markov models and selected applications in speech recognition“. Proceedings of the IEEE, pp.257-286, 1989.
- Recommended reading on “odorant receptors“, section 4.5 of the book Introduction to Computational Genomics: A Case Studies Approach, by Cristianini and Hahn.
- Libros de S. Ross:
- Some notes on stochastic processes, by Nguyen V.M. Man.
- Algunas transparencias de la asignatura MEPSI (sobre técnicas analíticas en evaluación de prestaciones).
- Desarrollo teórico del cálculo de la distribución estacionaria para CTMC.
On autonomous Petri nets and the PN paradigm:
- Untimed Petri nets, by E. Teruel, G. Franceschinis, M. Silva. In Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, G. Balbo & M. Silva (ed.), Chapter 2, pp. 27-75, Zaragoza, Spain, Editorial KRONOS, September 1998.
- Logical properties of P/T systems and their analysis, by J.M. Colom, E. Teruel, M. Silva. In Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, G. Balbo & M. Silva (ed.), Chapter 6, pp. 185-232, Zaragoza, Spain, Editorial KRONOS, September 1998.
- Linear algebraic and linear programming techniques for the analysis of net systems, by M. Silva, E. Teruel, J.M. Colom. Lecture Notes in Computer Science, Lectures in Petri Nets. I: Basic Models, G. Rozenberg and W. Reisig (ed.), vol. 1491, pp. 309-373, Berlin, Springer-Verlag, 1998.
- A systems theory perspective of discrete event dynamic systems: the Petri net paradigm, by M. Silva, E. Teruel. Procs. of the Symposium on Discrete Events and Manufacturing Systems, CESA ’96 IMACS Multiconference, P.Borne, J.C. Gentina, E.Craye, S.El Khattabi (ed.), pp. 1-12, Lille, France, July 1996.
- DEDS along their life-cycle: interpreted extension of Petri nets, by M. Silva, E. Teruel. Procs. of IEEE International Conference on Systems, Man and Cybernetics (SMC’98), San Diego, USA, 1998.
On timed/stochastic Petri nets:
- “MATCH Book”:
- Balbo, G. and Silva, M. (Eds.), Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, Editorial KRONOS, Zaragoza, Spain, 1998.
- Libro sobre modelado con GSPN’s.
- Transparencias de G. Balbo en la escuela de Bertinoro de 2007.
- Transparencias XI Escuela de Verano de Informática, Albacete, Julio 2001 (sobre evaluación de prestaciones con RdP estocásticas).
- Tesis doctoral de C.J. Pérez.
- Tesis doctoral de J. Merseguer.
- Transparencias sobre el articulo “Structured Solution of Stochastic DSSP Systems” (Campos, Donatelli, and Silva).
- Manual de GreatSPN.
- Algunas transparencias sobre técnicas aproximadas (del Tutorial PNPM’97).
- Material sobre cálculo de cotas (del Tutorial PNPM’99+PAPM’99+NSMC’99).
- Transparencias de un curso sobre redes de Petri y evaluación de prestaciones.