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

O formalismo Simultâneo petri nets (CO-OPN) é concebido para apoiar a especificação dos sistemas distribuídos de forma modular. Neste projeto são propostas ferramentas como editores, verificador de sintaxe, gerador de teste e