Skip to primary content
Tool Documentation
Documentation content for IIG workflow tools
Search
Main menu
Home
SWAT
Getting Started
User Guide
FAQ
Feature Request
Bug Report
Administer SWAT
Wolfgang
(Workflow-) Net Properties
Getting started
User Guide
FAQ
Feature Request
Bug Report
Administer Wolfgang
SecSy
Simulation Concepts
Getting Started
User Guide
FAQ
Bug Report
Feature Request
Administer SecSy
Other Tools
JAGAL
SEWOL
Introduction
Access Control Models
ACL: Access Control List
RBAC: Role-based Access Control
SOA Base & Contexts
Format of Workflow Traces
Log Entry
Log Trace
Log
Serializing & Parsing Logs
SEPIA
Introduction
Supported Petri Net Types
Petri Nets in SEPIA
P/T-Nets: Place/Transition Nets
CPNs: Colored Petri Nets
IF-Nets: Information Flow Nets
Petri Net Traversal
Reachability
Replaying
Petri Net Graphics
Serializing & Parsing of Petri Nets
PNML Compliance
Get Help/Imprint
FAQ
[catlist name=”FAQ SecSy” content=yes numberposts=10 pagination=yes orderby=date order=asc]