Package org.processmining.projectionminer.discoveryalgorithms

Class AcceptingPetriNetWrapper

  • public class AcceptingPetriNetWrapper
extends java.lang.Object
    Class for storing results of a discovery algorithm, which also further contains the parameters used for the run of the discovery algorithm.

    • Constructor Summary

      Constructors 
      Constructor Description
      AcceptingPetriNetWrapper​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, java.lang.Object parameters)
      Creates an object all the information, that an accepting Petri net contains.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      org.processmining.models.semantics.petrinet.Marking getFinalMarking()
      Returns the final marking of the accepting Petri net.
      org.processmining.models.semantics.petrinet.Marking getInitialMarking()
      Returns the initial marking of the accepting Petri net.
      org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
      Returns the net of the accepting Petri net.
      java.lang.Object getParameters()
      The parameters used for a discovery algorithm to find the accepting Petri net.
      void polishNet()
      Changes the start and end transition with the label "Start" or "End" or anything similar according to the eST-Miner approach to be silent.
      void replaceFinalMarking​(org.processmining.models.semantics.petrinet.Marking newFinalMarking)
      Replaces the final marking stored for the accepting Petri net.

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • AcceptingPetriNetWrapper

        public AcceptingPetriNetWrapper​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                org.processmining.models.semantics.petrinet.Marking initialMarking,
                                org.processmining.models.semantics.petrinet.Marking finalMarking,
                                java.lang.Object parameters)
        Creates an object all the information, that an accepting Petri net contains.
        Parameters:
        net - The Petri net.
        initialMarking - The initial marking of the corresponding Petri net.
        finalMarking - The final marking of the corresponding Petri net.
        parameters - The parameters used to discover the Petri net for a discovery algorithm.

    • Method Detail

      • getNet

        public org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
        Returns the net of the accepting Petri net.
        Returns:
        The Petri net stored.

      • getInitialMarking

        public org.processmining.models.semantics.petrinet.Marking getInitialMarking()
        Returns the initial marking of the accepting Petri net.
        Returns:
        The initial marking of the Petri net stored.

      • getFinalMarking

        public org.processmining.models.semantics.petrinet.Marking getFinalMarking()
        Returns the final marking of the accepting Petri net.
        Returns:
        The final marking of the Petri net stored.

      • getParameters

        public java.lang.Object getParameters()
        The parameters used for a discovery algorithm to find the accepting Petri net.
        Returns:
        Parameters inputted to a discovery algorithm.

      • polishNet

        public void polishNet()
        Changes the start and end transition with the label "Start" or "End" or anything similar according to the eST-Miner approach to be silent. To avoid modifications of inputs this class also creates a copy of the Petri net.

      • replaceFinalMarking

        public void replaceFinalMarking​(org.processmining.models.semantics.petrinet.Marking newFinalMarking)
        Replaces the final marking stored for the accepting Petri net.
        Parameters:
        newFinalMarking - The final marking to replace the actual marking with.