pm4py.objects.petri_net.saw_net.convert module#
- pm4py.objects.petri_net.saw_net.convert.convert_saw_net_to_stochastic_net_global_semantics(saw: StochasticArcWeightNet) StochasticPetriNet[source]#
- pm4py.objects.petri_net.saw_net.convert.convert_saw_net_to_stochastic_net_local_semantics(saw: StochasticArcWeightNet, marking: Counter[Place]) Tuple[StochasticPetriNet, Counter[Place]][source]#