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)

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)

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)

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)

Return type:

None