pm4py.algo.analysis.woflan.place_invariants.place_invariants module#
- pm4py.algo.analysis.woflan.place_invariants.place_invariants.compute_place_invariants(net)[source]#
We compute the NUllspace of the incidence matrix and obtain the place-invariants. :param net: Petri Net of which we want to know the place invariants. :return: Set of place invariants of the given Petri Net.
