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

O formalismo Concurrent Object-Oriented Petri Nets (CO-OPN) é concebido para suportar a especificação de sistemas distribuídos de forma modular. Ferramentas como editores, verificador de sintaxe, gerador de testes e gerador d