PetriKit adalah toolkit modular untuk analisis Petri Net. Ini memungkinkan ekstraksi sifat dasar, ekstraksi invarian, dan generasi grafik keterjangkauan. Hasil dapat diformat dalam file teks biasa, HTML atau XML.
Riwayat versi
- Versi 1.0 diposting di 2008-01-17
Beberapa perbaikan dan pembaruan - Versi 1.0 diposting di 2008-01-17
Detil Program
- Kategori: Pendidikan > Lain
- Penerbit: petrikit.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: 1.0
- Platform: windows