pm4py.objects.petri_net.utils.murata module#
- pm4py.objects.petri_net.utils.murata.apply_reduction(net: PetriNet, im: Marking, fm: Marking) Tuple[PetriNet, Marking, Marking][source]#
Apply the Murata reduction to an accepting Petri net, removing the structurally redundant places.
The implementation follows the Berthelot algorithm as in: https://svn.win.tue.nl/repos/prom/Packages/Murata/Trunk/src/org/processmining/algorithms/BerthelotAlgorithm.java
- Parameters:
net – Petri net
im – Initial marking
fm – Final marking
- Returns:
net – Petri net
im – Initial marking
fm – Final marking
