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