hasAutomaticTransitions

PetriNetInstanceInteractions

hasFailed

InstanceState

hashCodeOf

Serialization