Class PNLoader


  • public class PNLoader
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      PNLoader()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.lang.Object[] loadWorkflowPetriNet​(java.lang.String path, java.lang.String pnName)
      Load the Petri net from the provided file (path).
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • PNLoader

        public PNLoader()
    • Method Detail

      • loadWorkflowPetriNet

        public static java.lang.Object[] loadWorkflowPetriNet​(java.lang.String path,
                                                              java.lang.String pnName)
                                                       throws java.lang.Exception
        Load the Petri net from the provided file (path).
        Parameters:
        path - Path of the Petri net file
        pnName - Name of the Petri net
        Returns:
        Petri net
        Throws:
        java.lang.Exception