JOB_ID_FIELD_NUMBER

TransitionFailed TransitionFired

JavaCryptoEncryption

Encryption

Job

execution

JobExecutor

execution

JobPicker

execution

jobExecutor

PetriNetRuntime

jobId

TransitionEvent TransitionFailedEvent TransitionFiredEvent TransitionFailed TransitionFailedLens TransitionFired TransitionFiredLens

jobPicker

PetriNetRuntime

jobs

Instance