समवर्ती ऑब्जेक्ट-ओरिएंटेड पेट्री नेट (सह-ओपीएन) औपचारिकता मॉड्यूलर तरीके से वितरित प्रणालियों के विनिर्देश का समर्थन करने के लिए तैयार की गई है। इस परियोजना में संपादकों, सिंटेक्स चेकर, परीक्षण जनरेटर और प्रोटोटाइप जनरेटर जैसे उपकरण प्रस्तावित हैं।
संस्करण इतिहास
- विवरण 1.0.7-beta पर तैनात 2006-03-06
कई सुधार और अपडेट - विवरण 1.0.7-beta पर तैनात 2006-03-06
कार्यक्रम विवरण
- कोटि: नेटवर्क और इंटरनेट > अन्य
- प्रकाशक: smv.unige.ch/tiki-index.php?page=IntroCoopn
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 1.0.7
- मंच: windows