Class PnmlExportNetToEPNML

    • Constructor Detail

      • PnmlExportNetToEPNML

        public PnmlExportNetToEPNML()
    • Method Detail

      • exportPetriNetToEPNMLFile

        public void exportPetriNetToEPNMLFile​(org.processmining.framework.plugin.PluginContext context,
                                              Petrinet net,
                                              java.io.File file)
                                       throws java.io.IOException
        Throws:
        java.io.IOException
      • exportPetriNetToEPNMLFile

        public void exportPetriNetToEPNMLFile​(org.processmining.framework.plugin.PluginContext context,
                                              OpenNet openNet,
                                              java.io.File file)
                                       throws java.io.IOException
        Throws:
        java.io.IOException
      • exportPetriNetToPNMLFile

        public void exportPetriNetToPNMLFile​(org.processmining.framework.plugin.PluginContext context,
                                             ResetNet resetNet,
                                             java.io.File file)
                                      throws java.io.IOException
        Throws:
        java.io.IOException
      • exportPetriNetToPNMLFile

        public void exportPetriNetToPNMLFile​(org.processmining.framework.plugin.PluginContext context,
                                             ConfigurableResetInhibitorNet configurableNet,
                                             java.io.File file)
                                      throws java.io.IOException
        Throws:
        java.io.IOException
      • exportPetriNetToPNMLFile

        public void exportPetriNetToPNMLFile​(org.processmining.framework.plugin.PluginContext context,
                                             ResetInhibitorNet resetInhibitorNet,
                                             java.io.File file)
                                      throws java.io.IOException
        Throws:
        java.io.IOException
      • exportPetriNetToPNMLFile

        public void exportPetriNetToPNMLFile​(org.processmining.framework.plugin.PluginContext context,
                                             InhibitorNet inhibitorNet,
                                             java.io.File file)
                                      throws java.io.IOException
        Throws:
        java.io.IOException