An event sourcing function associated with a transition
Describes the exception state of a transition.
Describes the exception state of a transition.
The time of the last failure.
The number of times the transition failed in sequence.
The reason message of the last failure.
The chosen strategy to deal with the last failure.
Keeps the state of a petri net instance.
A Job encapsulates all the parameters that make a firing transition in a petri net.
Class responsible for 'executing' a transition 'Job'
Given a token game picks the next job(s) to be executed
Encapsulates all components required to 'run' a petri net instance
Encapsulates all components required to 'run' a petri net instance
The place type
The transition type
The state type
The event type
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.
Place
Transition
An exception handler function associated with a transition.
An (asynchronous) function associated with a transition
Provides a task for a transition.
Provides a task for a transition.
The state type of the net.
The place type of the net.
The transition type of the net.