execution

class AsyncTransitionExecutor[State] extends TransitionExecutor[State, Transition]
case class ExceptionState(transitionId: Long, failureCount: Int, failureReason: String, failureStrategy: ExceptionStrategy) extends Product with Serializable
case class Instance[S](process: ExecutablePetriNet[S], sequenceNr: Long, 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

A Job describes all the parameters that make a firing transition in a petri net.
trait TransitionExecutor[State, T[_, _, _]] extends AnyRef

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 fireFirstEnabled[S]: State[Instance[S], Option[Job[S, _]]]

Finds the (optional) first transition that is automated & enabled
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 runJobAsync[S, E](job: Job[S, E], executor: TransitionExecutor[S, Transition]): Task[TransitionEvent]

Executes a job returning a Task[TransitionEvent]