TY  - THES
AU  - Martos Salgado, María Rosa
A3  - Rosa Velardo, Fernando
PY  - 2016
UR  - https://hdl.handle.net/20.500.14352/27424
AB  - Las redes de Petri son un lenguaje formal muy adecuado para la modelizacíon, ańalisis y verificacíon de sistemas concurrentes con infinitos estados. En particular, son muy apropiadas para estudiar las propiedades de seguridad de dichos sistemas,...
AB  - The model of Petri nets is a formal modeling language which is very suitable for the analysis and verification of infinite-state concurrent systems. In particular, due to its good decidability properties, it is very appropriate to study safety...
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Redes de Petri
KW  - programación en paralelo
KW  - Petri Nets
KW  - Parallel programming (Computer science)
TI  - Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias
T2  - Verification of priced and timed extensions of Petri Nets with multile instances
M3  - doctoral thesis
ER  -