GetState
PetriNetInstanceProtocol