Curso: 2 Carácter: Optativa Bibliografía validada el: 18/06/2024 |
BB | Cassandras, Christos G.. Introduction to discrete event systems / by Christo G. Cassandras, Stéphane Lafortune . 2nd ed., 2nd print. New York : Springer, 2010 | |
BB | Girault, Claude. Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk . Berlin [etc.] : Springer, cop. 2003 | |
BB | J. Campos, G. Chiola, J. Colom, M. Silva: "Properties and Performance Bounds for Timed Marked Graphs, en: " IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 39, no. 5, pp. 386-401, May 1992.
@libro - Disponible en formato electrónico |
|
BB | Jensen, Kurt. Coloured Petri Nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen . Berlin : Springer, cop. 2009 | |
BB | Lectures on Petri Nets. I, Basic models : advances in Petri Nets / Wolfgang Reisig, Grzegorz Rozenberg (eds.) . Berlin : Springer, cop. 2009 | |
BB | Manuel Silva, Enrique Teruel, José Manuel Colom: "Linear algebraic and linear programming techniques for the analysis of place/transition net systems", in Lectures on Petri Nets I: Basic Models, pp 309-373, 1998. | |
BB | Modelling with generalized stochastic petri nets / M. Ajmone Marsan ... [et al.] . Chichester [etc.] : John Wiley and Sons, cop. 1995 | |
BB | Silva Suárez, Manuel. Las redes de Petri : en la automática y la informática / Manuel Silva . 1a ed. 1985, 1a reimp. 2002 Madrid : Editorial AC, 2002 | |
BB | T. Murata, "Petri nets: Properties, analysis and applications," in Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, Apr 1989..
@libro - Disponible en formato electrónico |
Mahulea Poleuca, Cristian Florentín |