Программы smv.unige.ch/tiki-index.php?page=IntroCoopn

Параллельный объектно-ориентированный формализм Петри Нетс (CO-OPN) разработан для поддержки спецификации распределенных систем модульным способом. В этом проекте предлагаются такие инструменты, как редакторы, синтаксисная пр