ScalaGraphPetriNet

api

StateTransitionNet

dsl

Step

TokenGame

sequence

Uncolored

setMultiplicity

MultiSetOps

stepFirst

TokenGame

stepRandom

TokenGame