This actor is responsible for maintaining the state of a single petri net instance.
Contains some methods to interact with a petri net instance actor.
An actor that pushes all received messages on a SourceQueueWithComplete.
Describes the messages to and from a PetriNetInstance actor.
An actor that pushes all received messages on a SourceQueueWithComplete.
TODO: Guarantee that this actor dies after not receiving messages for some time. Currently, in case messages get lost, this actor will live indefinitely creating the possibility of memory leak.