द्वारा कार्यक्रम smv.unige.ch/tiki-index.php?page=IntroCoopn

समवर्ती ऑब्जेक्ट-ओरिएंटेड पेट्री नेट (सह-ओपीएन) औपचारिकता मॉड्यूलर तरीके से वितरित प्रणालियों के विनिर्देश का समर्थन करने के लिए तैयार की गई है। इस परियोजना में संपादकों, सिंटेक्स चेकर, परीक्षण जनरेटर और प्रोटोटाइप जनरेटर जैस