pm4py.objects.petri_net.exporter.variants package#

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/>.

Submodules#

pm4py.objects.petri_net.exporter.variants.pnml 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.petri_net.exporter.variants.pnml.Parameters(value)[source]#

Bases: Enum

An enumeration.

ENCODING = 'encoding'#
pm4py.objects.petri_net.exporter.variants.pnml.export_petri_tree(petrinet, marking, final_marking=None, export_prom5=False, parameters=None)[source]#

Export a Petrinet to a XML tree

Parameters#

petrinet: pm4py.entities.petri.petrinet.PetriNet

Petri net

marking: pm4py.entities.petri.petrinet.Marking

Marking

final_marking: pm4py.entities.petri.petrinet.Marking

Final marking (optional)

export_prom5

Enables exporting PNML files in a format that is ProM5-friendly

parameters

Other parameters of the algorithm

Returns#

tree

XML tree

pm4py.objects.petri_net.exporter.variants.pnml.export_petri_as_string(petrinet, marking, final_marking=None, export_prom5=False, parameters=None)[source]#

Parameters#

petrinet: pm4py.entities.petri.petrinet.PetriNet

Petri net

marking: pm4py.entities.petri.petrinet.Marking

Marking

final_marking: pm4py.entities.petri.petrinet.Marking

Final marking (optional)

export_prom5

Enables exporting PNML files in a format that is ProM5-friendly

Returns#

string

Petri net as string

pm4py.objects.petri_net.exporter.variants.pnml.export_net(petrinet, marking, output_filename, final_marking=None, export_prom5=False, parameters=None)[source]#

Export a Petrinet to a PNML file

Parameters#

petrinet: pm4py.entities.petri.petrinet.PetriNet

Petri net

marking: pm4py.entities.petri.petrinet.Marking

Marking

final_marking: pm4py.entities.petri.petrinet.Marking

Final marking (optional)

output_filename:

Absolute output file name for saving the pnml file

export_prom5

Enables exporting PNML files in a format that is ProM5-friendly