El objetivo del siguiente proyecto es proporcionar una herramienta para estudiar el rendimiento de sistemas multiprocesador. Para ello estos sistemas serán previamente modelados como redes de Petri y simulados mediante el ...