Programas por smv.unige.ch/tiki-index.php?page=IntroCoopn

El formalismo Concurrent Object-Oriented Petri Nets (CO-OPN) está diseñado para apoyar la especificación de sistemas distribuidos de forma modular. En este proyecto se proponen herramientas como editores, comprobador de sinta