org.processmining.plugins.petrinet.reduction
Class MurataInput

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

public class MurataInput
extends java.lang.Object

General input for Petri net reduction rules.

Version:
0.1
Author:
Eric Verbeek

Field Summary
static int ELP
           
static int ELT
           
static int FPP
           
static int FPT
           
static int FSP
           
static int FST
           
 
Constructor Summary
MurataInput(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking)
          Constructs a MurataInput given a Petri net and its marking.
 
Method Summary
 void addSacred(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
          Adds a node to the sacred nodes.
 void allowRule(int rule)
          Allows a rule to be applied.
 void disallowRule(int rule)
          Disallows a rule to be applied.
 org.processmining.models.semantics.petrinet.Marking getMarking()
          Gets the marking (of the Petri net to reduce).
 org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
          Gets the Petri net to reduce.
 boolean isAllowedRule(int rule)
          Checks whether some rule may be applied.
 boolean isSacred(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
          Checks whether a node is sacred.
 void removeSacred(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
          Removes a node form the sacred nodes.
 void setMarking(org.processmining.models.semantics.petrinet.Marking marking)
          Sets the marking (of the Petri net to reduce).
 void setNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
          Sets the Petri net to reduce.
 void setVisibleSacred(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
          Adds the set of transitions with a visible label to the sacred nodes.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

FST

public static final int FST
See Also:
Constant Field Values

FSP

public static final int FSP
See Also:
Constant Field Values

FPT

public static final int FPT
See Also:
Constant Field Values

FPP

public static final int FPP
See Also:
Constant Field Values

ELT

public static final int ELT
See Also:
Constant Field Values

ELP

public static final int ELP
See Also:
Constant Field Values
Constructor Detail

MurataInput

public MurataInput(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                   org.processmining.models.semantics.petrinet.Marking marking)
Constructs a MurataInput given a Petri net and its marking. All nodes may be reduced, all rules may be applied.

Parameters:
net - The Petri net.
marking - The marking.
Method Detail

setVisibleSacred

public void setVisibleSacred(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
Adds the set of transitions with a visible label to the sacred nodes.

Parameters:
net - The Petri net at hand.

addSacred

public void addSacred(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
Adds a node to the sacred nodes.

Parameters:
node - The node to add.

removeSacred

public void removeSacred(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
Removes a node form the sacred nodes.

Parameters:
node - The node to remove.

isSacred

public boolean isSacred(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
Checks whether a node is sacred.

Parameters:
node - The node to check.
Returns:
Whether it is sacred.

allowRule

public void allowRule(int rule)
Allows a rule to be applied.

Parameters:
rule - The bit mask of the rule to allow.

disallowRule

public void disallowRule(int rule)
Disallows a rule to be applied.

Parameters:
rule - The bit mask of the rule to disallow.

isAllowedRule

public boolean isAllowedRule(int rule)
Checks whether some rule may be applied.

Parameters:
rule - The bit mask of the rule to check.
Returns:
Whether the rule may be applied.

setNet

public void setNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
Sets the Petri net to reduce.

Parameters:
net - The Petri net to reduce.

getNet

public org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
Gets the Petri net to reduce.

Returns:
The Petri net to reduce.

setMarking

public void setMarking(org.processmining.models.semantics.petrinet.Marking marking)
Sets the marking (of the Petri net to reduce).

Parameters:
marking - The marking (of the Petri net to reduce).

getMarking

public org.processmining.models.semantics.petrinet.Marking getMarking()
Gets the marking (of the Petri net to reduce).

Returns:
The marking (of the Petri net to reduce).