Package org.processmining.plugins.petrinet.reduction

Class MurataOutput

  • public class MurataOutput
extends java.lang.Object
    General output of Petri net reduction rules.
    Version:
    0.1
    Author:
    Eric Verbeek

    • Constructor Summary

      Constructors 
      Constructor Description
      MurataOutput​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking)
      Constructs a new MurataOutput, given the reduced Petri net and its marking.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.ArrayList<java.lang.String> getLog()
      Gets the log.
      org.processmining.models.semantics.petrinet.Marking getMarking()
      Gets the marking of the reduced Petri net.
      org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
      Gets the reduced Petri net.
      java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> getPlaceMapping()
      Sets the place mapping.
      java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitionMapping()  
      void setPlaceMapping​(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMapping)
      Sets the transition mapping.
      void setTransitionMapping​(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMapping)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • MurataOutput

        public MurataOutput​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                    org.processmining.models.semantics.petrinet.Marking marking)
        Constructs a new MurataOutput, given the reduced Petri net and its marking.
        Parameters:
        net - The reduced Petri net.
        marking - The marking of the reduced Petri net.

    • Method Detail

      • getNet

        public org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
        Gets the reduced Petri net.
        Returns:
        The reduced Petri net.

      • getMarking

        public org.processmining.models.semantics.petrinet.Marking getMarking()
        Gets the marking of the reduced Petri net.
        Returns:
        The marking of the reduced Petri net.

      • getLog

        public java.util.ArrayList<java.lang.String> getLog()
        Gets the log. Note that a string S can be added to this log by calling something like "getLog().add(S)".
        Returns:
        The log.

      • setTransitionMapping

        public void setTransitionMapping​(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMapping)

      • getTransitionMapping

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitionMapping()

      • setPlaceMapping

        public void setPlaceMapping​(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMapping)
        Sets the transition mapping.
        Parameters:
        transitionMapping - the transition mapping from the input net to the output net

      • getPlaceMapping

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> getPlaceMapping()
        Sets the place mapping.
        Parameters:
        placeMapping - the place mapping from the input net to the output net