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