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

पेट्रीकिट पेट्री नेट विश्लेषण के लिए एक मॉड्यूलर टूलकिट है। यह बुनियादी गुणों की निकासी, इनवरिएंट्स की निकासी और पहुंच की पहुंच ग्राफ की पीढ़ी की अनुमति देता है। परिणाम सादे पाठ, एचटीएमएल या एक्सएमएल फ़ाइलों में स्वरूपित किया