TY  - THES
AU  - Pastor Ramírez, Javier
A3  - Gómez Martínez, María Elena
A3  - Requeno Jarabo, José Ignacio
PY  - 2024
UR  - https://hdl.handle.net/20.500.14352/106059
AB  - Con el desarrollo de sistemas cada vez más complejos, desde el desarrollo de herramientas software con partes comunes entre ellas hasta líneas de producción industrial, nos vemos en la necesidad de utilizar herramientas como líneas de producto para...
AB  - With the development of increasingly complex systems, ranging from the development of software tools with common parts to industrial production lines, we find the need to use tools such as product lines to study and analyze their behavior, thanks to...
LA  - spa
KW  - Redes de Petri
KW  - Grafo de Alcanzabilidad
KW  - Propiedades Dinámicas
KW  - Líneas de Producto
KW  - Petri Nets
KW  - Reachability Graph
KW  - Dynamic Properties
KW  - Product Lines
TI  - Análisis de propiedades dinámicas de líneas de producto de sistemas concurrentes
T2  - Dynamic properties analysis of product lines for concurrent systems
M3  - bachelor thesis
ER  -