This is the Linux app named SEPIA: Security-oriented PN Framework whose latest release can be downloaded as sepia-0.1.5-consistent.jar. It can be run online in the free hosting provider OnWorks for workstations.
Download and run online this app named SEPIA: Security-oriented PN Framework with OnWorks for free.
Follow these instructions in order to run this app:
- 1. Downloaded this application in your PC.
- 2. Enter in our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 3. Upload this application in such filemanager.
- 4. Start the OnWorks Linux online or Windows online emulator or MACOS online emulator from this website.
- 5. From the OnWorks Linux OS you have just started, goto our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 6. Download the application, install it and run it.
SEPIA: Security-oriented PN Framework
Ad
DESCRIPTION
SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution.SEPIA builds upon TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) and SEWOL (https://sourceforge.net/projects/jawl/). To use SEPIA, make sure these libraries are on the build path.
SEPIA encloses the Multi Schema Validator (https://msv.java.net/) and isorelax (http://iso-relax.sourceforge.net/)
The documentation can be found under http://doku.telematik.uni-freiburg.de/sepia.
Features
- Implementation of P/T nets
- Implementation of Colored Petri nets
- Implementation of Colored Workflow nets
- Implementation of IF-Nets
- Petri net traversal
- Petri net refinement
- Reachability utils
- PNML Parsing
Audience
Science/Research, Advanced End Users, Security
Programming Language
Java
This is an application that can also be fetched from https://sourceforge.net/projects/sepiaframework/. It has been hosted in OnWorks in order to be run online in an easiest way from one of our free Operative Systems.
