Popular repositories Loading

1. WOLFGANG WOLFGANG Public

   Petri Net Editor

   Java 26 5

2. SEPIA SEPIA Public

   Security-oriented PN Framework

   Java 2 5

3. SWAT20 SWAT20 Public

   Security Workflow Analysis Tool

   Java 1

4. SecSy SecSy Public

   Security-oriented Log Synthesis

   Java 1

5. tools tools Public

   Parent project of the tools JAGAL, SEWOL & SEPIA.

6. JAGAL JAGAL Public

   Java Graph Library

   Java 4