Package org.processmining.modelrepair.plugins

Class ModelRepair_Simple

  • public class ModelRepair_Simple
extends java.lang.Object

    • Field Summary

      Fields 
      Modifier and Type Field Description
      java.util.Comparator<hub.top.uma.DNode> dnode_id_comparator  

    • Constructor Summary

      Constructors 
      Constructor Description
      ModelRepair_Simple​(hub.top.uma.DNodeRefold build)
      Standard constructor for view generation.

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static hub.top.uma.DNodeRefold getInitialUnfolding​(hub.top.petrinet.ISystemModel sysModel)  
      java.util.Map<java.lang.String,​java.util.List<java.util.Set<hub.top.petrinet.Place>>> getLocationsForExtension()  
      static void main​(java.lang.String[] args)  
      void repairModel​(java.lang.String systemFile, hub.top.petrinet.PetriNet sysModel, java.util.Collection<java.lang.String[]> traces, java.util.Map<java.lang.String,​java.lang.String> e2t)  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • dnode_id_comparator

        public java.util.Comparator<hub.top.uma.DNode> dnode_id_comparator

    • Constructor Detail

      • ModelRepair_Simple

        public ModelRepair_Simple​(hub.top.uma.DNodeRefold build)
        Standard constructor for view generation. The argument takes a branching process construction object DNodeBP after the branching process has been constructed.
        Parameters:
        build -

    • Method Detail

      • getLocationsForExtension

        public java.util.Map<java.lang.String,​java.util.List<java.util.Set<hub.top.petrinet.Place>>> getLocationsForExtension()

      • getInitialUnfolding

        public static hub.top.uma.DNodeRefold getInitialUnfolding​(hub.top.petrinet.ISystemModel sysModel)
                                                   throws hub.top.uma.InvalidModelException
        Throws:
        hub.top.uma.InvalidModelException

      • repairModel

        public void repairModel​(java.lang.String systemFile,
                        hub.top.petrinet.PetriNet sysModel,
                        java.util.Collection<java.lang.String[]> traces,
                        java.util.Map<java.lang.String,​java.lang.String> e2t)
                 throws hub.top.uma.InvalidModelException,
                        java.io.IOException
        Throws:
        hub.top.uma.InvalidModelException
        java.io.IOException

      • main

        public static void main​(java.lang.String[] args)