JOB_ID_FIELD_NUMBER

TransitionFailed TransitionFired

JavaCryptoEncryption

Encryption

Job

runtime

JobExecutor

runtime

JobPicker

runtime

jobExecutor

PetriNetRuntime

jobId

TransitionEvent TransitionFailedEvent TransitionFiredEvent TransitionFailed TransitionFailedLens TransitionFired TransitionFiredLens

jobPicker

PetriNetRuntime

jobs

Instance