ScalaGraphPetriNet

api

SequenceNet

dsl

StateTransitionNet

dsl

Step

TokenGame

sequence

Uncolored SequenceNet

setMultiplicity

MultiSetOps

stepFirst

TokenGame

stepRandom

TokenGame