A common trait for all commands to a petri net instance.
The exception state of a transition.
Command to fire a specific transition with input.
Command to initialize a petri net instance.
A response indicating that the instance has been initialized in a certain state.
A response indicating that the instance has been initialized in a certain state.
This message is only send in response to an Initialize message.
Response containing the state of the process.
Response containing the state of the Job
.
Type alias for marking data.
A common trait for all responses coming from a petri net instance.
Response indicating that a transition has failed.
Response indicating that a transition has fired successfully
Response indicating that the transition could not be fired because it is not enabled.
Any message that is a response to a FireTransition command.
A response send in case any other command then 'Initialize' is sent to the actor in unitialized state.
A response send in case any other command then 'Initialize' is sent to the actor in unitialized state.
The identifier of the unitialized actor.
Returned in case a second Initialize is send after a first is processed
Command to request the current state of the petri net instance.
Describes the messages to and from a PetriNetInstance actor.