TY  - THES
AU  - Antón Fernández, Sara
A3  - Frutos Escrig, David De
A3  - Rosa Velardo, Fernando
PY  - 2023
UR  - https://hdl.handle.net/20.500.14352/88455
AB  - Desde que Carl Adam Petri definió las Redes de Petri en los años 60, estas han sido una herramienta muy utilizada para modelar y analizar sistemas concurrentes, sirviendo como una representación gráfica que describe la dinámica de sistemas complejos,...
AB  - Since Carl Adam Petri defined Petri Nets in the 1960s, they have been a highly useful tool for modeling and analyzing concurrent systems, serving as a graphical representation that describes the dynamics of complex systems, making them an essential...
LA  - spa
KW  - Redes de Petri
KW  - Conjunto de cobertura
KW  - Conjunto de míınima cobertura
KW  - Algoritmo de Finkel
KW  - Algoritmo de CovProc
KW  - Algoritmo de Tarjan
KW  - Algoritmo de Poda-Monótona
KW  - Algoritmo MinCov
KW  - Petri Nets
KW  - Coverability set
KW  - Minimal coverability set
KW  - Finkel’s algorithm
KW  - CovProc algorithm
KW  - Tarjan’s algorithm
KW  - Monotonic-Pruning algorithm
KW  - MinCov algorithm
TI  - Algoritmos para el conjunto de mínima cobertura de las Redes de Petri
T2  - Algorithms for minimal coverability set of Petri Nets
M3  - master thesis
ER  -