pm4py.objects.transition_system package

Submodules

pm4py.objects.transition_system.constants module

This file is part of PM4Py (More Info: https://pm4py.fit.fraunhofer.de).

PM4Py is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

PM4Py is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with PM4Py. If not, see <https://www.gnu.org/licenses/>.

pm4py.objects.transition_system.obj module

This file is part of PM4Py (More Info: https://pm4py.fit.fraunhofer.de).

PM4Py is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

PM4Py is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with PM4Py. If not, see <https://www.gnu.org/licenses/>.

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

This file is part of PM4Py (More Info: https://pm4py.fit.fraunhofer.de).

PM4Py is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

PM4Py is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with PM4Py. If not, see <https://www.gnu.org/licenses/>.

pm4py.objects.transition_system.utils module

This file is part of PM4Py (More Info: https://pm4py.fit.fraunhofer.de).

PM4Py is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

PM4Py is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with PM4Py. If not, see <https://www.gnu.org/licenses/>.

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

This file is part of PM4Py (More Info: https://pm4py.fit.fraunhofer.de).

PM4Py is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

PM4Py is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with PM4Py. If not, see <https://www.gnu.org/licenses/>.