pm4py.objects.petri_net.obj module#

class pm4py.objects.petri_net.obj.Marking(iterable=None, /, **kwds)[source]#

Bases: Counter

class pm4py.objects.petri_net.obj.PetriNet(name: str = None, places: Collection[Place] = None, transitions: Collection[Transition] = None, arcs: Collection[Arc] = None, properties: Dict[str, Any] = None)[source]#

Bases: object

class Place(name, in_arcs=None, out_arcs=None, properties=None)[source]#

Bases: object

property name#
property in_arcs#
property out_arcs#
property properties#
class Transition(name, label=None, in_arcs=None, out_arcs=None, properties=None)[source]#

Bases: object

property name#
property label#
property in_arcs#
property out_arcs#
property properties#
class Arc(source, target, weight=1, properties=None)[source]#

Bases: object

property source#
property target#
property weight#
property properties#
property name: str#
property places: Collection[Place]#
property transitions: Collection[Transition]#
property arcs: Collection[Arc]#
property properties: Dict[str, Any]#
class pm4py.objects.petri_net.obj.InhibitorNet(name=None, places=None, transitions=None, arcs=None, properties=None)[source]#

Bases: PetriNet

class InhibitorArc(source, target, weight=1, properties=None)[source]#

Bases: Arc

class pm4py.objects.petri_net.obj.ResetNet(name=None, places=None, transitions=None, arcs=None, properties=None)[source]#

Bases: PetriNet

class ResetArc(source, target, weight=1, properties=None)[source]#

Bases: Arc

class pm4py.objects.petri_net.obj.ResetInhibitorNet(name=None, places=None, transitions=None, arcs=None, properties=None)[source]#

Bases: InhibitorNet, ResetNet