runtime

Type Members

1. type EventSource[S, E] = (S) ⇒ (E) ⇒ S

   

   An event sourcing function associated with a transition

2. case class ExceptionState(failureTime: Long, failureCount: Int, failureReason: String, failureStrategy: ExceptionStrategy) extends Product with Serializable

   

   Describes the exception state of a transition.

   Describes the exception state of a transition.

   failureTime

   The time of the last failure.

   failureCount

   The number of times the transition failed in sequence.

   failureReason

   The reason message of the last failure.

   failureStrategy

   The chosen strategy to deal with the last failure.

3. sealed trait ExceptionStrategy extends AnyRef

   

4. case class Instance[P[_], T[_, _], S](process: PetriNet[P[_], T[_, _]], sequenceNr: Long, marking: Marking[P], state: S, jobs: Map[Long, Job[P, T, S, _]]) extends Product with Serializable

   

   Keeps the state of a petri net instance.

5. case class Job[P[_], T[_, _], S, E](id: Long, processState: S, transition: T[_, E], consume: Marking[P], input: Any, failure: Option[ExceptionState] = None) extends Product with Serializable

   

   A Job encapsulates all the parameters that make a firing transition in a petri net.

6. class JobExecutor[S, P[_], T[_, _]] extends AnyRef

   

   Class responsible for 'executing' a transition 'Job'

7. class JobPicker[P[_], T[_, _]] extends AnyRef

   

   Given a token game picks the next job(s) to be executed

8. trait PetriNetRuntime[P[_], T[_, _], S, E] extends AnyRef

   

   Encapsulates all components required to 'run' a petri net instance

   Encapsulates all components required to 'run' a petri net instance

   P

   The place type

   T

   The transition type

   S

   The state type

   E

   The event type

9. trait TokenGame[P[_], T[_, _]] extends AnyRef

   

   Interface for deciding which (transition, marking) parameters are 'enabled' or 'fireable' in a petri net.

   Interface for deciding which (transition, marking) parameters are 'enabled' or 'fireable' in a petri net.

   P

   Place

   T

   Transition

10. type TransitionExceptionHandler[P[_]] = (Throwable, Int, MultiSet[P[_]]) ⇒ ExceptionStrategy

    

    An exception handler function associated with a transition.

11. type TransitionTask[P[_], Input, Output, State] = (Marking[P], State, Input) ⇒ Task[(Marking[P], Output)]

    

    An (asynchronous) function associated with a transition

12. trait TransitionTaskProvider[State, P[_], T[_, _]] extends AnyRef

    

    Provides a task for a transition.

    Provides a task for a transition.

    State

    The state type of the net.

    P

    The place type of the net.

    T

    The transition type of the net.