TY  - THES
AU  - Martos Salgado, María Rosa
A3  - Frutos Escrig, David de
A3  - Rosa Velardo, Fernando
PY  - 2010
UR  - https://hdl.handle.net/20.500.14352/46274
AB  - Las redes de Petri son un importante formalismo para la especificación de sistemas concurrentes y distribuídos. Tal y como se hace con otros formalismos, como los autómatas finitos, nos gustaría poder verificar formal y automáticamente ciertas...
LA  - eng
KW  - Redes de Petri
KW  - Redes reset
KW  - ν-PN
KW  - Verificación formal
KW  - Comprobación de modelos
KW  - Lógicas temporales
KW  - Decidibilidad
KW  - Petri nets
KW  - Reset nets
KW  - Formal verification
KW  - Model checking
KW  - Temporal logics
KW  - Decidability
TI  - Towards verifying Petri Nets: a model cheking approach
M3  - master thesis
ER  -