logo 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.

homepage: github.com/iig-uni-freiburg/SEPIA
fresh index:
last release: 1 year ago, first release: 2 years ago
packaging: jar
get this artifact from: central
see this artifact on: search.maven.org



How much is this artifact used as a dependency in other Maven artifacts in Central repository and GitHub:
How many Android projects use it:
How is this artifact used:

© Jiri Pinkas 2015 - 2017. All rights reserved. Admin login To submit bugs / feature requests please use this github page
related: JavaVids | Top Java Blogs | Java školení | 4npm - npm search | monitored using: sitemonitoring
Apache and Apache Maven are trademarks of the Apache Software Foundation. The Central Repository is a service mark of Sonatype, Inc.