pm4py.objects.petri_net.sem_interface module#

class pm4py.objects.petri_net.sem_interface.Semantics[source]#

Bases: object

is_enabled(t, pn, m, **kwargs)#
execute(t, pn, m, **kwargs)#
weak_execute(t, pn, m, **kwargs)#
enabled_transitions(pn, m, **kwargs)#