execution

case class ExceptionState(transitionId: Long, consecutiveFailureCount: Int, failureReason: String, failureStrategy: ExceptionStrategy) extends Product with Serializable
case class Instance[S](process: ExecutablePetriNet[S], sequenceNr: BigInt, marking: Marking, state: S, jobs: Map[Long, Job[S, _]]) extends Product with Serializable
case class Job[S, E](id: Long, processState: S, transition: Transition[Any, E, S], consume: Marking, input: Any, failure: Option[ExceptionState] = None) extends Product with Serializable

object EventSourcing
object Instance extends Serializable
def createJob[E, S](transition: Transition[Any, E, S], consume: Marking, input: Any): (Instance[S]) ⇒ (Instance[S], Job[S, E])

Creates a job for a specific input & marking.
Creates a job for a specific input & marking. Does not do any validation on the parameters
def fireAllEnabledTransitions[S]: State[Instance[S], Set[Job[S, _]]]

Finds all automated enabled transitions.
def fireTransition[S, E](transition: Transition[Any, E, S], input: Any): State[Instance[S], Either[String, Job[S, E]]]

Fires a specific transition with input, computes the marking it should consume
def fireTransitionById[S](id: Long, input: Any): State[Instance[S], Either[String, Job[S, Any]]]
def firstFirstEnabled[S]: State[Instance[S], Option[Job[S, _]]]

Finds the (optional) first transition that is automated & enabled
def runJob[S, E](job: Job[S, E], executor: TransitionExecutor[S])(implicit S: Strategy): Task[TransitionEvent]

Executes a job returning a TransitionEvent