PetriKit: Petri Net Analysis Toolkit 1.0
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 4.0/5 - 1 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang PetriKit: Petri Net Analysis Toolkit
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.