DOC

de.uni.freiburg.iig.telematik : SEPIA

Maven & Gradle

Jan 22, 2016
2 stars

SEPIA: Security-oriented PN Framework · 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.

Table Of Contents

Latest Version

Download de.uni.freiburg.iig.telematik : SEPIA Javadoc & API Documentation - Latest Versions:

All Versions

Download de.uni.freiburg.iig.telematik : SEPIA Javadoc & API Documentation - All Versions:

Version Size Javadoc Updated
1.0.x

How to open Javadoc JAR file in web browser

  1. Rename the file SEPIA-1.0.2-javadoc.jar to SEPIA-1.0.2-javadoc.zip
  2. Use your favourite unzip tool (WinRAR / WinZIP) to extract it, now you have a folder SEPIA-1.0.2-javadoc
  3. Double click index.html will open the index page on your default web browser.

How to generate Javadoc from a source JAR?

Running the command javadoc:

javadoc --ignore-source-errors -encoding UTF-8 -sourcepath "SEPIA-1.0.2-sources.jar" -d "SEPIA-1.0.2-javadoc" -subpackages 

Advertisement

Dependencies from Group

Jan 22, 2016
2 usages
0 stars
Jan 22, 2016
1 usages
0 stars
Jan 22, 2016
0 stars
Jul 29, 2015
0 stars
Jan 22, 2016
2 stars

Discover Dependencies

Jan 22, 2016
2 usages
0 stars
Jul 27, 2015
0 stars
Aug 08, 2023
Aug 01, 2015
24 stars
Sep 04, 2015
3 usages
0 stars
May 12, 2017
464 stars
Aug 11, 2015
6 stars
May 31, 2018
2 usages
13 stars
Sep 16, 2015
1 usages
312 stars