Package org.processmining.logfiltering.algorithms.PN2DF

Class PN2DfgTransform

  • public class PN2DfgTransform
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      PN2DfgTransform()  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void addDirectFollow​(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg)
      we have modification to deal with silent transitions.
      static void addStartEnd​(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg, org.processmining.models.graphbased.directed.transitionsystem.StartStateSet startStates, org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet acceptingStates)  
      static void setCardinality​(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg, long cardinality)  
      static org.processmining.plugins.InductiveMiner.dfgOnly.Dfg transformPN2Dfg​(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • PN2DfgTransform

        public PN2DfgTransform()

    • Method Detail

      • transformPN2Dfg

        public static org.processmining.plugins.InductiveMiner.dfgOnly.Dfg transformPN2Dfg​(org.processmining.framework.plugin.PluginContext context,
                                                                                   org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                   org.processmining.models.semantics.petrinet.Marking marking)
                                                                            throws org.processmining.framework.connections.ConnectionCannotBeObtained
        Throws:
        org.processmining.framework.connections.ConnectionCannotBeObtained

      • addStartEnd

        public static void addStartEnd​(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg,
                               org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg,
                               org.processmining.models.graphbased.directed.transitionsystem.StartStateSet startStates,
                               org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet acceptingStates)

      • addDirectFollow

        public static void addDirectFollow​(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg,
                                   org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg)
        we have modification to deal with silent transitions. We need to find out the silent transition t. something, not so nice to check, I'd like to say.. [S1]--> [tau, specific for one branch to connect?? ]-->[T1], specific connection for it so we connect the S1-->T1, and create the directly follows relation
        Parameters:
        dfg -
        rg -

      • setCardinality

        public static void setCardinality​(org.processmining.plugins.InductiveMiner.dfgOnly.Dfg dfg,
                                  long cardinality)