Programy według smv.unige.ch/tiki-index.php?page=IntroCoopn

Formalizm Współbieżnych, zorientowanych obiektowo sieci Petriego (CO-OPN) został opracowany w celu obsługi specyfikacji systemów rozproszonych w sposób modułowy. Narzędzia, takie jak edytory, sprawdzanie składni, generator te