All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download all versions of SEPIA JAR files with all dependencies

Search JAR files by class name

SEPIA from group de.uni.freiburg.iig.telematik (version 1.0.2)

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.

Group: de.uni.freiburg.iig.telematik Artifact: SEPIA
Show documentation Show source 
 

0 downloads
Artifact SEPIA
Group de.uni.freiburg.iig.telematik
Version 1.0.2
Last update 22. January 2016
Tags: sepia users assign coloured agents data implementations enable participating supports flow security nets analysis where used execution levels during token oriented tokens various along types place tailored elements processes information with interpreted support colors petri provides transition workflow distinguishable persons process defines which transitions modeling called high
Organization Institute of Computer Science and Social Studies, Department of Telematics
URL https://github.com/iig-uni-freiburg/SEPIA
License bsd_3
Dependencies amount 4
Dependencies TOVAL, JAGAL, SEWOL, msv-core,
There are maybe transitive dependencies!

SEPIA from group de.uni.freiburg.iig.telematik (version 1.0.1)

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.

Group: de.uni.freiburg.iig.telematik Artifact: SEPIA
Show documentation Show source 
 

0 downloads
Artifact SEPIA
Group de.uni.freiburg.iig.telematik
Version 1.0.1
Last update 10. September 2015
Tags: sepia users assign coloured agents data implementations enable participating supports flow security nets analysis where used execution levels during token oriented tokens various along types place tailored elements processes information with interpreted support colors petri provides transition workflow distinguishable persons process defines which transitions modeling called high
Organization Institute of Computer Science and Social Studies, Department of Telematics
URL https://github.com/iig-uni-freiburg/SEPIA
License bsd_3
Dependencies amount 4
Dependencies TOVAL, JAGAL, SEWOL, msv-core,
There are maybe transitive dependencies!

SEPIA from group de.uni.freiburg.iig.telematik (version 1.0.0)

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.

Group: de.uni.freiburg.iig.telematik Artifact: SEPIA
Show documentation Show source 
 

0 downloads
Artifact SEPIA
Group de.uni.freiburg.iig.telematik
Version 1.0.0
Last update 04. August 2015
Tags: sepia users assign coloured agents data implementations enable participating supports flow security nets analysis where used execution levels during token oriented tokens various along types place tailored elements processes information with interpreted support colors petri provides transition workflow distinguishable persons process defines which transitions modeling called high
Organization Institute of Computer Science and Social Studies, Department of Telematics
URL https://github.com/iig-uni-freiburg/SEPIA
License bsd_3
Dependencies amount 4
Dependencies TOVAL, JAGAL, SEWOL, msv-core,
There are maybe transitive dependencies!



Page 1 from 1 (items total 3)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy