NoEncryption

Encryption

Node

colored simple

name

BLOCK_ALL BLOCK_TRANSITION RETRY Unrecognized

nextJobId

Instance

node

PetriNetGraphNodeTAdditions

nodes

PetriNet ScalaGraphPetriNet

nullTransition

StateTransitionNet