ScalaGraphPetriNet
api
SequenceNet
colored
SimpleMarking
simple
StateTransition
colored
StateTransitionNet
colored
seq
simple
sequence
SequenceNet
sequenceNr
Instance
setMultiplicity
MultiSetFunctions
simple
dsl
state
InitializedEvent
Instance
stateTransition
StateTransitionNet