PetriKit: Petri Net Analysis Toolkit 1.0

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 4.0/5 - ‎1 ‎वोट

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

संस्करण इतिहास

  • विवरण 1.0 पर तैनात 2008-01-17
    कई सुधार और अपडेट
  • विवरण 1.0 पर तैनात 2008-01-17

कार्यक्रम विवरण