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

पेट्री जाल को परिमित राज्य ऑटोमाटा और परिवर्तन अर्धसमूहों में बदलने के लिए छोटा गैप पैकेज।