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