pm4py.objects.petri_net.stochastic.semantics module#

class pm4py.objects.petri_net.stochastic.semantics.StochasticPetriNetSemantics[source]#

Bases: PetriNetSemantics[N], Generic[N]

classmethod sample_enabled_transition(pn: N, marking: Counter[P], seed: int = None) → T[source]#

Randomly samples a transition from all enabled transitions

Parameters:

  • param pn: Petri net

  • param marking: marking to use

Return type:

return: a transition sampled from the enabled transitions

classmethod probability_of_transition(pn: N, transition: T, marking: Counter[P]) → float[source]#

Compute the probability of firing a transition in the net and marking.

Args:

pn (N): Stochastic net transition (T): transition to fire marking (Counter[P]): marking to use

Returns:

float: _description_