GitHub repository: nikolakasev/kagera
Primary language: Scala
Description: A discrete, colored Petri Net DSL and executor