GitHub repository: sebastianharko/kagera
Primary language: Scala
Description: A Discrete, colored Petri Net DSL & Executor