Package au.edu.qut.prom.helpers

Class PetrinetExportUtils

  • public class PetrinetExportUtils
extends java.lang.Object
    Utility methods for exporting petri nets in visualization formats. Originally adapted from org.processmining.models.graphbased.directed.petrinet.impl.ToStochasticNet.
    Author:
    burkeat

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.lang.String convertPetrinetToDOT​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
      Originally adopted from exportPN2DOT method from the EventToActivityMatcher plugin
      static java.lang.String petriNetFragmentToDOT​(java.lang.String filePath)
      Small files only - reads in one hit

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • PetrinetExportUtils

        public PetrinetExportUtils()

    • Method Detail

      • convertPetrinetToDOT

        public static java.lang.String convertPetrinetToDOT​(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
        Originally adopted from exportPN2DOT method from the EventToActivityMatcher plugin
        Parameters:
        net -

      • petriNetFragmentToDOT

        public static java.lang.String petriNetFragmentToDOT​(java.lang.String filePath)
                                              throws java.io.IOException
        Small files only - reads in one hit
        Parameters:
        filePath -
        Returns:
        Throws:
        java.io.IOException