Package org.processmining.tbr

Class PetriNetUtils

  • public class PetriNetUtils
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      PetriNetUtils()  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.lang.Object[] connectNet​(org.processmining.plugins.pnml.base.Pnml pnml, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)  
      static java.lang.Object[] importFromFile​(java.lang.String filename)  
      static java.lang.Object[] importFromStream​(java.io.InputStream input, java.lang.String filename, long fileSizeInBytes)  
      static org.processmining.plugins.pnml.base.Pnml importPnmlFromStream​(java.io.InputStream input, java.lang.String filename, long fileSizeInBytes)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • PetriNetUtils

        public PetriNetUtils()

    • Method Detail

      • importPnmlFromStream

        public static org.processmining.plugins.pnml.base.Pnml importPnmlFromStream​(java.io.InputStream input,
                                                                            java.lang.String filename,
                                                                            long fileSizeInBytes)
                                                                     throws org.xmlpull.v1.XmlPullParserException,
                                                                            java.io.IOException
        Throws:
        org.xmlpull.v1.XmlPullParserException
        java.io.IOException

      • connectNet

        public static java.lang.Object[] connectNet​(org.processmining.plugins.pnml.base.Pnml pnml,
                                            org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

      • importFromStream

        public static java.lang.Object[] importFromStream​(java.io.InputStream input,
                                                  java.lang.String filename,
                                                  long fileSizeInBytes)
                                           throws org.xmlpull.v1.XmlPullParserException,
                                                  java.io.IOException
        Throws:
        org.xmlpull.v1.XmlPullParserException
        java.io.IOException

      • importFromFile

        public static java.lang.Object[] importFromFile​(java.lang.String filename)
                                         throws java.lang.Exception
        Throws:
        java.lang.Exception