Rosa Velardo, Fernando
Your browser has limited support for third-party cookies, which may prevent you from viewing this content. If you run into problems, you can view the content in a
new window.
-
Aceto, L; Ingólfsdótir, A; Larsen, K.G; Srba, J (2007) Reactive systems : modelling, specification and verification
-
Groote, J. F; Mousavi, M.R (2014) Modeling and analysis of communicating systems
-
Desel, J; Reisig, W; Rozenberg (2004) Lectures on concurrency and Petri nets : advances in Petri nets
-
Desel, J; Reisig, W; Rozenberg (2004) Lectures on concurrency and Petri nets : advances in Petri nets [Libro-e]
-
Reisig, W (2013) Understanding petri nets : modeling techniques, analysis methods, case studies [Libro-e]
Conozco y acepto que el uso de los materiales contenidos en estas guías se realiza con finalidad de estudio, de apoyo a la docencia y la investigación. Se respetarán las condiciones de uso y contratación de cada uno de los recursos.
