org.processmining.plugins.petrinet.reduction
Class MurataOutput

java.lang.Object
  extended by org.processmining.plugins.petrinet.reduction.MurataOutput

public class MurataOutput
extends java.lang.Object

General output of Petri net reduction rules.

Version:
0.1
Author:
Eric Verbeek

Constructor Summary
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
 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