Read-only release history for Graph-PetriNet