pm4py.objects.petri.common package

Submodules

pm4py.objects.petri.common.final_marking module

pm4py.objects.petri.common.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

pm4py.objects.petri.common.initial_marking module

pm4py.objects.petri.common.initial_marking.discover_initial_marking(petri)[source]

Discovers initial marking from a Petri net

Parameters

petri – Petri net

Returns

Initial marking of the Petri net

Return type

initial_marking

Module contents