द्वारा कार्यक्रम peptool.sf.net

पीईपी समानांतर प्रणालियों के लिए एक मॉडलिंग और सत्यापन ढांचा है, जो बड़ी संख्या में विभिन्न मॉडलिंग भाषाओं और सत्यापन तकनीकों (जैसे एसडीएल, पेट्री जाल और मॉडल चेकिंग) प्रदान करता है