pm4py.analysis.reduce_petri_net_implicit_places

pm4py.analysis.reduce_petri_net_implicit_places(net: PetriNet, im: Marking, fm: Marking) → Tuple[PetriNet, Marking, Marking]

Reduces the number of implicit places in the provided Petri net.

Parameters:

• net (PetriNet) – The Petri net to be reduced.

• im (Marking) – The initial marking of the Petri net.

• fm (Marking) – The final marking of the Petri net.

Returns:

A tuple containing the reduced Petri net, its initial marking, and its final marking.

Return type:

Tuple[PetriNet, Marking, Marking]

import pm4py

net, im, fm = pm4py.read_pnml('model.pnml')
net, im, fm = pm4py.reduce_petri_net_implicit_places(net, im, fm)