pm4py.objects.petri_net.utils.obj_marking module#

class pm4py.objects.petri_net.utils.obj_marking.ObjMarking(*args, **kwargs)[source]#

Bases: dict

update([E, ]**F) None.  Update D from mapping/iterable E and F.[source]#

If E is present and has a .keys() method, then does: for k in E.keys(): D[k] = E[k] If E is present and lacks a .keys() method, then does: for k, v in E: D[k] = v In either case, this is followed by: for k in F: D[k] = F[k]

class pm4py.objects.petri_net.utils.obj_marking.ObjMarkingAccessor(obj_marking, key)[source]#

Bases: object