pm4py.algo.analysis.woflan.place_invariants.utility module

pm4py.algo.analysis.woflan.place_invariants.utility.removearray(L, arr)

Remove an array from a given list and return the list with the removed element. :param L: list object :param arr: array that has to be removed :return: list object without array

pm4py.algo.analysis.woflan.place_invariants.utility.transform_basis(basis, style=None)

We construct a (I)LP to transform our basis into a set of vectors by using linear combination to fit certain styles/ properties :param basis: list of p-invariants. Commonly computed by the method ‘compute_place_invariants’ in place_invariants.py :param style: String that is used to construct certain constraints At the moment, ‘uniform’ (all weights have value 0 or 1), and ‘weighted’ (all weights are >=0) are supported :return: List of p-invariants that fits the style

pm4py.algo.analysis.woflan.place_invariants.utility.compute_uncovered_places(invariants, net)

Compute a list of uncovered places for invariants of a given Petri Net. Note that there exists a separate algorithm for s-components :param invariants: list of invariants. Each invariants is a numpy-Array representation :param net: Petri Net object of PM4Py :return: List of uncovered place over all invariants