pm4py.evaluation.soundness.woflan.graphs.reachability_graph package

Submodules

pm4py.evaluation.soundness.woflan.graphs.reachability_graph.reachability_graph module

pm4py.evaluation.soundness.woflan.graphs.reachability_graph.reachability_graph.apply(net, initial_marking, original_net=None)[source]

Method that computes a reachability graph as networkx object :param net: Petri Net :param initial_marking: Initial Marking of the Petri Net :param original_net: Petri Net without short-circuited transition :return: Networkx Graph that represents the reachability graph of the Petri Net

Module contents