pm4py.objects.petri_net.exporter.variants.pnml module#

class pm4py.objects.petri_net.exporter.variants.pnml.Parameters(*values)[source]#

Bases: Enum

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:

XML tree

Return type:

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:

Petri net as string

Return type:

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