public class MurataInput
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
ASM |
static int |
CSM |
static int |
ELP |
static int |
ELT |
static int |
FPP |
static int |
FPT |
static int |
FSP |
static int |
FST |
Constructor and Description |
---|
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.
|
Modifier and Type | Method and Description |
---|---|
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.
|
public static final int FST
public static final int FSP
public static final int FPT
public static final int FPP
public static final int ELT
public static final int ELP
public static final int CSM
public static final int ASM
public MurataInput(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking)
net
- The Petri net.marking
- The marking.public void setVisibleSacred(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
net
- The Petri net at hand.public void addSacred(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
node
- The node to add.public void removeSacred(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
node
- The node to remove.public boolean isSacred(org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
node
- The node to check.public void allowRule(int rule)
rule
- The bit mask of the rule to allow.public void disallowRule(int rule)
rule
- The bit mask of the rule to disallow.public boolean isAllowedRule(int rule)
rule
- The bit mask of the rule to check.public void setNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
net
- The Petri net to reduce.public org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
public void setMarking(org.processmining.models.semantics.petrinet.Marking marking)
marking
- The marking (of the Petri net to reduce).public org.processmining.models.semantics.petrinet.Marking getMarking()