Ini ialah apl Linux bernama SEPIA: Rangka Kerja PN berorientasikan keselamatan untuk dijalankan dalam Linux dalam talian yang keluaran terbarunya boleh dimuat turun sebagai sepia-0.1.5-consistent.jar. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama SEPIA ini: Rangka Kerja PN berorientasikan keselamatan untuk dijalankan di Linux dalam talian dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
SEPIA: Rangka Kerja PN berorientasikan keselamatan untuk dijalankan di Linux dalam talian
Ad
DESCRIPTION
SEPIA menyediakan pelaksanaan untuk pelbagai jenis jaring Petri. Di sepanjang Place/Transition-nets, ia menyokong jaring Petri dengan warna token yang boleh dibezakan dan mentakrifkan jaring aliran kerja berwarna, di mana token berwarna ditafsirkan sebagai elemen data yang digunakan semasa pelaksanaan proses. Untuk menyokong analisis aliran maklumat proses, SEPIA mentakrifkan apa yang dipanggil IF-Nets, disesuaikan untuk pemodelan aliran kerja berorientasikan keselamatan yang membolehkan pengguna menetapkan tahap keselamatan (TINGGI, RENDAH) kepada peralihan, elemen data dan orang/ejen yang mengambil bahagian dalam proses perlaksanaan.SEPIA dibina 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 perpustakaan ini berada di laluan binaan.
SEPIA menyertakan Pengesah Berbilang Skema (https://msv.java.net/) dan isorelax (http://iso-relax.sourceforge.net/)
Dokumentasi boleh didapati di bawah http://doku.telematik.uni-freiburg.de/sepia.
Ciri-ciri
- Pelaksanaan jaring P/T
- Pelaksanaan jaring Petri Berwarna
- Pelaksanaan jaring Aliran Kerja Berwarna
- Pelaksanaan IF-Nets
- Pelayaran bersih Petri
- Penapisan bersih Petri
- Kebolehcapaian utils
- Penghuraian PNML
Penonton
Sains/Penyelidikan, Pengguna Akhir Termaju, Keselamatan
Bahasa Pengaturcaraan
Java
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/sepiaframework/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.
