CPN-AMI. Peringkat & Ringkasan
- Nama Penerbit:
- CPN-AMI Team
- Situs web penerbit:
- http://move.lip6.fr/software/CPNAMI/index.html
- Sistem operasi:
- Mac OS X 10.3 or later
CPN-AMI. Tag
CPN-AMI. Keterangan
Lingkungan Kasus Berbasis Petri CPN-AMI menawarkan fungsi-fungsi seperti fasilitas pemodelan, pemeriksaan model, simulasi dan perhitungan sifat struktural.cpn-ami bersama-sama banyak alat yang cocok untuk pemodelan dan verifikasi petri.cpn-ami digunakan secara internal dalam berbagai proyek atau studi kasus untuk verifikasi sistem paralel. CPN-AMI juga merupakan dukungan untuk pengajaran teori bersih Petri (mahasiswa pascasarjana, sekolah musim panas, dll.). Catatan: CPN-AMI dilisensikan gratis untuk digunakan dalam organisasi pendidikan dan non-pro? Apa yang baru dalam rilis ini: · Memperbaiki beberapa bug kecil dalam sistem distribusi (masalah dengan beberapa distribusi Linux seperti Ubuntu), · Pnits, varian baru PNSDD berdasarkan perpustakaan baru (sistem transisisi yang dapat dipertahankan).
CPN-AMI. Perangkat Lunak Terkait