def generate_coverability_graph()
        startmarkings = get_markings
        @graph = PetriNet::CoverabilityGraph.new(self)
        @graph.add_node current_node = PetriNet::CoverabilityGraph::Node.new(@graph, markings: get_markings, start: true)