pm4py.objects.petri_net.utils.final_marking module# pm4py.objects.petri_net.utils.final_marking.discover_final_marking(petri)[source]# Discovers final marking from a Petri net Parameters: petri – Petri net Returns: Final marking Return type: final_marking