Documentation & Code Examples for the Security-oriented Petri Net Framework 

This documentation is also available in the PDF file format: SEPIA Documentation v1.0.0.

SEPIA stands for ”Security-oriented Petri Net Framework” and provides implementations for various types of Petri nets. Along Place/Transition-Nets, it supports Petri nets with distinguishable token colors. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modelling, which enable users to assign security-levels (high, low) to transitions, data elements and persons/agents participating in the process execution.