Bu, SEPIA adlı Linux uygulamasıdır: En son sürümü sepia-0.1.5-consistent.jar olarak indirilebilen Güvenlik odaklı PN Çerçevesi. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
SEPIA adlı bu uygulamayı çevrimiçi olarak indirin ve çalıştırın: OnWorks ile Güvenlik Odaklı PN Çerçevesi ücretsiz.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
SEPIA: Güvenlik odaklı PN Çerçevesi
Ad
TANIM
SEPIA, çeşitli Petri ağları türleri için uygulamalar sağlar. Yer/Geçiş ağları boyunca, ayırt edilebilir simge renkleriyle Petri ağlarını destekler ve renkli belirteçlerin işlem yürütme sırasında kullanılan veri öğeleri olarak yorumlandığı renkli iş akışı ağlarını tanımlar. SEPIA, süreçlerin bilgi akışı analizini desteklemek için, kullanıcıların geçişlere, veri öğelerine ve sürece katılan kişilere/aracılara güvenlik seviyeleri (YÜKSEK, DÜŞÜK) atamasına olanak tanıyan, güvenlik odaklı iş akışı modellemesi için özel olarak hazırlanmış IF-Net'leri tanımlar. uygulamak.SEPIA, TOVAL (http://sourceforge.net/p/toval), JAĞAL (http://sourceforge.net/p/jagal) ve SEWOL (https://sourceforge.net/projects/jawl/). SEPIA'yı kullanmak için bu kitaplıkların derleme yolunda olduğundan emin olun.
SEPIA, Çoklu Şema Doğrulayıcıyı (https://msv.java.net/) ve isorelax (http://iso-relax.sourceforge.net/)
Belgeler altında bulunabilir http://doku.telematik.uni-freiburg.de/sepia.
Özellikler
- P/T ağlarının uygulanması
- Renkli Petri ağlarının uygulanması
- Renkli İş Akışı ağlarının uygulanması
- IF-Nets'in Uygulanması
- Petri ağı geçişi
- Petri ağı arıtma
- Erişilebilirlik araçları
- PNML Ayrıştırma
Seyirci
Bilim/Araştırma, İleri Düzey Son Kullanıcılar, Güvenlik
Programlama dili
Java
Bu, https://sourceforge.net/projects/sepiaframework/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
