pm4py.objects.transition_system package

Submodules

pm4py.objects.transition_system.constants module

pm4py.objects.transition_system.obj module

class pm4py.objects.transition_system.obj.TransitionSystem(name=None, states=None, transitions=None)[source]

Bases: object

class State(name, incoming=None, outgoing=None, data=None)[source]

Bases: object

property data
property incoming
property name
property outgoing
class Transition(name, from_state, to_state, data=None)[source]

Bases: object

property data
property from_state
property name
property to_state
property name
property states
property transitions

pm4py.objects.transition_system.transition_system module

pm4py.objects.transition_system.utils module

pm4py.objects.transition_system.utils.add_arc_from_to(name, fr, to, ts, data=None)[source]

Adds a transition from a state to another state in some transition system. Assumes from and to are in the transition system!

Parameters
  • name (name of the transition)

  • fr (state from)

  • to (state to)

  • ts (transition system to use)

  • data (data associated to the Transition System)

Returns

Return type

None

pm4py.objects.transition_system.utils.remove_all_arcs_from_to(fr, to, ts)[source]

Removes all transitions from a state to another state in some transition system. Assumes from and to are in the transition system!

Parameters
  • fr (state from)

  • to (state to)

  • ts (transition system to use)

Returns

Return type

None

pm4py.objects.transition_system.utils.remove_arc_from_to(name, fr, to, ts)[source]

Removes a transition with a specific name from a state to another state in some transition system. Assumes from and to are in the transition system!

Parameters
  • name (name of the transition)

  • fr (state from)

  • to (state to)

  • ts (transition system to use)

Returns

Return type

None

pm4py.objects.transition_system.utils.transitive_reduction(ts)[source]

Computes the transitive reduction of an acyclic transition system. Assumes the transition system in input to be acyclic.

Parameters

ts (acyclic transition system to use)

Returns

Return type

None

Module contents