pm4py.objects.powl.obj module#

class pm4py.objects.powl.obj.POWL(operator=None, parent=None, children=None, label=None)[source]#

Bases: ProcessTree, ABC

print() → None[source]#
simplify_using_frequent_transitions() → POWL[source]#
simplify() → POWL[source]#
validate_partial_orders()[source]#
static model_description() → str[source]#
abstractmethod copy()[source]#
class pm4py.objects.powl.obj.Transition(label: str | None = None)[source]#

Bases: POWL

transition_id: int = 0#
copy()[source]#
equal_content(other: object) → bool[source]#
class pm4py.objects.powl.obj.SilentTransition[source]#

Bases: Transition

copy()[source]#
class pm4py.objects.powl.obj.FrequentTransition(label, min_freq: str | int, max_freq: str | int)[source]#

Bases: Transition

class pm4py.objects.powl.obj.StrictPartialOrder(nodes: List[POWL])[source]#

Bases: POWL

copy()[source]#
get_order() → BinaryRelation[source]#
get_children() → List[POWL][source]#
to_string(level=0, indent=False, max_indent=9223372036854775807) → str[source]#

Represents a StrictPartialOrder as a string, avoiding infinite recursion.

Parameters:

  • level (int) – Current indentation level

  • indent (bool) – Whether to indent the output

  • max_indent (int) – Maximum indentation level

Returns:

String representation of the partial order

Return type:

str

property partial_order: BinaryRelation#
property children: List[POWL]#
equal_content(other: object) → bool[source]#
simplify_using_frequent_transitions() → StrictPartialOrder[source]#
simplify() → StrictPartialOrder[source]#
add_edge(source, target)[source]#
class pm4py.objects.powl.obj.Sequence(nodes: List[POWL])[source]#

Bases: StrictPartialOrder

class pm4py.objects.powl.obj.OperatorPOWL(operator: Operator, children: List[POWL])[source]#

Bases: POWL

copy()[source]#
equal_content(other: object) → bool[source]#
simplify_using_frequent_transitions() → POWL[source]#
simplify() → OperatorPOWL[source]#