Aceasta este aplicația Linux numită SEPIA: Security-oriented PN Framework a cărei ultimă versiune poate fi descărcată ca sepia-0.1.5-consistent.jar. Poate fi rulat online în furnizorul gratuit de găzduire OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită SEPIA: Cadru PN orientat spre securitate cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
SEPIA: Cadrul PN orientat spre securitate
DESCRIERE:
SEPIA oferă implementări pentru diferite tipuri de rețele Petri. De-a lungul rețelelor Place/Transition-nets, acceptă rețele Petri cu culori de simbol distinctive și definește rețele de flux de lucru colorate, în care tokenurile colorate sunt interpretate ca elemente de date utilizate în timpul execuției procesului. Pentru a susține analiza fluxului de informații a proceselor, SEPIA definește așa-numitele IF-Nets, adaptate pentru modelarea fluxului de lucru orientat spre securitate, care permit utilizatorilor să atribuie niveluri de securitate (RIGHT, LOW) tranzițiilor, elementelor de date și persoanelor/agenților care participă la proces. execuţie.SEPIA se bazează pe TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) și SEWOL (https://sourceforge.net/projects/jawl/). Pentru a utiliza SEPIA, asigurați-vă că aceste biblioteci sunt pe calea de construire.
SEPIA include Validatorul Multi Schema (https://msv.java.net/) și izorelax (http://iso-relax.sourceforge.net/)
Documentația poate fi găsită sub http://doku.telematik.uni-freiburg.de/sepia.
DESCRIERE
- Implementarea rețelelor P/T
- Implementarea rețelelor Petri colorate
- Implementarea rețelelor de flux de lucru colorate
- Implementarea IF-Nets
- traversarea rețelei Petri
- Rafinament net Petri
- Utile de accesibilitate
- Analiza PNML
Public
Știință/Cercetare, Utilizatori finali avansați, Securitate
Limbaj de programare
Java
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/sepiaframework/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.