Ini adalah aplikasi Linux bernama SEPIA: PN Framework berorientasi keamanan yang rilis terbarunya dapat diunduh sebagai sepia-0.1.5-consistent.jar. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan aplikasi ini secara online bernama SEPIA: Kerangka PN berorientasi keamanan dengan OnWorks secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
SEPIA: Kerangka PN berorientasi keamanan
Ad
DESKRIPSI
SEPIA menyediakan implementasi untuk berbagai jenis jaring Petri. Di sepanjang Place/Transition-nets, ia mendukung jaring Petri dengan warna token yang dapat dibedakan dan mendefinisikan jaring alur kerja berwarna, di mana token berwarna ditafsirkan sebagai elemen data yang digunakan selama eksekusi proses. Untuk mendukung analisis aliran informasi proses, SEPIA mendefinisikan apa yang disebut IF-Nets, yang disesuaikan untuk pemodelan alur kerja berorientasi keamanan yang memungkinkan pengguna untuk menetapkan tingkat keamanan (TINGGI, RENDAH) ke transisi, elemen data, dan orang/agen yang berpartisipasi dalam proses. eksekusi.SEPIA dibangun di atas TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) dan SEWOL (https://sourceforge.net/projects/jawl/). Untuk menggunakan SEPIA, pastikan library ini berada di jalur build.
SEPIA menyertakan Validator Multi Skema (https://msv.java.net/) dan isorelaks (http://iso-relax.sourceforge.net/)
Dokumentasi dapat ditemukan di bawah http://doku.telematik.uni-freiburg.de/sepia.
Fitur
- Implementasi jaring P/T
- Implementasi jaring Petri Berwarna
- Implementasi jaring Alur Kerja Berwarna
- Implementasi IF-Nets
- Lintasan petri net
- Penyempurnaan jaringan petri
- Utilitas keterjangkauan
- Penguraian PNML
Para penonton
Sains/Penelitian, Pengguna Akhir Tingkat Lanjut, Keamanan
Bahasa Pemrograman
Jawa
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/sepiaframework/. Ini telah di-host di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.
