Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. PetriKit: Petri Net Analysis Toolkit

PetriKit: Petri Net Analysis Toolkit 1.0

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

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

Program Terkait

  • Vocatra Gratis

    Vocatra adalah pelatih kosakata berbasis konsol. Dibutuhkan satu atau beberapa file kosakata, meminta Anda untuk setiap kata, dan memungkinkan Anda mencoba memberikan jawaban yang benar.

  • While Interpreter Gratis

    SementaraInterpreter adalah penerjemah untuk bahasa pemrograman WHILE yang digunakan untuk tujuan belajar. Ini memiliki beberapa konstruksi dan semantik mudah.

  • RubyMoss Gratis

    RubyMoss adalah Web - Based Framework yang ditulis dengan Ruby on Rails, dimaksudkan untuk mendukung semua analisis dan pemrosesan data untuk Mossbauer Spectroscopy. Ditulis dengan Lisensi BSD.

  • Peter Pig s Money Counter Uji Coba Gratis

    Dengan bantuan Peter Pig yang bijaksana, anak-anak berlatih menyortir dan menghitung koin untuk mendapatkan uang untuk "bank" mereka — sambil mempelajari fakta menyenangkan tentang mata uang AS. Mereka belajar mengenali dan m

  • Nfrequencies Gratis

    Lakukan analisis multivariat berdasarkan frekuensi di-nukleotida dari data urutan DNA.

  • NetBuilder' - Apostrophe Gratis

    NetBuilder' adalah alat untuk membangun, memvisualisasikan, dan mensimulasikan jaringan biologis berlapis-lapis, yang disusun sebagai Petri-net hierarkis. Ini memiliki simulator stochastic bawaan, tetapi juga menyediakan akse

  • DFWiki Gratis

    DFWiki adalah modul wiki yang dirancang untuk bekerja dalam lingkungan LMS yang moodle. Ini telah dirancang untuk mengambil advantadge fitur wiki untuk e-learning, Sebagai pembuatan konten, dan proyek kerja kolaboratif. Versi

  • lib3d_mec_GiNaC Gratis

    lib_3d_mec_ginac adalah perpustakaan untuk dinamika sistem multibody simbolis. Ini dapat digunakan secara mandiri, meskipun akan menjadi pengganti kernel dari versi 3.0 masa depan 3d_mec (http://www.imac.unavarra.es/3d_mec).

  • JCadServices Gratis

    Tim gabungan submission mengembangkan antarmuka CORBA yang memungkinkan sistem Mechanical CAD untuk bertukar Geometri dan Topologi.

  • GEGIS Gratis

    Bangun WebGIS berdasarkan Google Earth. Hanya 7 langkah untuk mematuhi Aplikasi Web WebGIS!