<aside> 💡 Es una herramienta que se utiliza para modelizar el estado en el que se encuentran los threads y las transiciones entre estados.
Con las redes de Petri podemos modelizar semaforos, locks y barreras, etc
</aside>
<aside> 💡 En el grafo de alcance: Cuando llego a un estado que no tiene aristas de salidas, encontre un deadlock
Con esta herramienta podemos detectar deadlocks haciendo un analisis estatico del sistema
</aside>
<aside> 💡 Cuando sale de una transcion va a todos los estados (los outputs) que apunta, pero de un estado solo puede ir a una de las posibles transiciones.
</aside>
Diapositivas
Notas
https://drive.google.com/file/d/1VcLMUd1Gj-B_rcc2D3bKDFc0gpxenGJ-/view?pli=1
Diapositivas