SEPIA 1.0.2

Changes:

• added Resource Time Petri Nets
• included the PNTDs to SEPIA so it doesn't depend on an internet connection
• some minor bug fixes and changes

To add a dependency on SEPIA using Maven, use the following:

<dependency>
  <groupId>de.uni.freiburg.iig.telematik</groupId>
  <artifactId>SEPIA</artifactId>
  <version>1.0.2</version>
</dependency>

SEPIA 1.0.1

Changes:

• restricted node and arc names to the XML Schema ID data type and sanitized input names when parsing existing nets
• fixed project dependencies
• some minor bug fixes

To add a dependency on SEPIA using Maven, use the following:

<dependency>
  <groupId>de.uni.freiburg.iig.telematik</groupId>
  <artifactId>SEPIA</artifactId>
  <version>1.0.1</version>
</dependency>

SEPIA 1.0.0

First final release of SEPIA.

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.

For the usage in editors, Petri nets can be put in graphical containers, which hold visualization information. To preserve compatibility, Petri nets from other frameworks can be imported with the parser functionalities and also be exported for other frameworks using the serializing functionalities.

Additionally, the framework comes with classes for the traversal of Petri nets.

To add a dependency on SEPIA using Maven, use the following:

<dependency>
  <groupId>de.uni.freiburg.iig.telematik</groupId>
  <artifactId>SEPIA</artifactId>
  <version>1.0.0</version>
</dependency>