Petri Net to Automaton Converter (GAP)
Anda boleh memuat turun dalam masa 5 saat.
Anda juga boleh klik pada Pautan Muat Turun Luaran berikut untuk memulakan muat turun:
http://pn2a.svn.sourceforge.net/
Tentang Petri Net to Automaton Converter (GAP)
Pakej GAP kecil untuk menukar jaring Petri kepada separa automatik dan transformasi negeri terhingga.
Atur Cara Berkaitan
-
Teachers Helper Percuma
Guru-guru Helper akan membantu mana-mana pelan guru, menjejaki, menguruskan projek, pelajar, kerja rumah, dan kerja kelas untuk mana-mana subjek.
-
ICE Cafe Percuma
ICE Cafe adalah urutan masam terbuka alginer cromatgram dan penonton. Tujuan pertama perisian sofware ini adalah untuk mencari Penyuntingan RNA dengan Membandingkan urutan Genomik kepada urutan RNA, atau dengan menggunakan ka
-
TesT & RedactoR 7 Percubaan Percuma
Pengaturcaraan untuk membuat dan lulus ujian / peperiksaan / kuiz. Terdiri daripada dua aplikasi: TesT - programm untuk ujian (freeware ) RedactoR - programm untuk membuat dan mengedit ujian (shareware with trial period) Imej
-
YAUCP, Yet Another uController Project Percuma
yaucp, Satu lagi Projek uController. Adalah satu set alat dan sumber kod dan maklumat untuk membangunkan untuk keluarga AVR mikrocontrollers di bawah Linux menggunakan hanya alat yang serasi GPL, yang dikeluarkan di bawah GPL
-
Inwicast Mediacenter Percuma
Inwicast Mediacenter menambah keupayaan multimedia untuk Claroline dan Moodle supaya guru dapat menerbitkan, mengurus dan berkongsi podcast audio dan video dengan mudah dalam pelbagai format. Inwicast Mediacenter juga boleh m
-
EQUIL Percuma
EQUIL (Beratur Elektronik Pengguna Di Makmal) adalah sistem yang direka untuk menjadikan tugas menguruskan pelajar dalam sesi makmal lebih cekap, teratur dan demokratik.
-
PhyloView Percuma
Phyloview adalah skrip CGI berasaskan perl untuk menggambarkan sifat-sifat taktoomik pokok-pokok protein phylogenetic.
-
BioImageXD Percuma
BioImageXD - perisian sumber terbuka percuma untuk analisis, pemprosesan dan persembahan 3D pelbagai dimensi, saluran pelbagai data, masa siri data imej dari mikroskopy dan sumber lain.
-
Gastropod IR RT operator Percuma
Gastropod adalah perpustakaan Fortran 90 rutin ke hadapan dan keceruruhan untuk pengiraan pemindahan radiasi pantas untuk bunyi satelit inframerah resolusi spektrum tinggi.
-
AutoShim Percuma
Alat untuk membina model ramalan aktiviti molekul-dok oleh regresi PLS dengan latihan iterative dan pemilihan pos. Penerangan termasuk (i) skor dok, (ii) ciri-ciri farmakophore, (iii) penerangan pelbagai ciri yang dipelajari