public class PNetPattern
extends java.lang.Object
Constructor and Description |
---|
PNetPattern(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> mapping,
org.processmining.models.semantics.petrinet.Marking initMarking,
org.processmining.models.semantics.petrinet.Marking... finalMarkings) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking[] |
getFinalMarkings() |
org.processmining.models.semantics.petrinet.Marking |
getInitMarking() |
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph |
getNet() |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> |
getTrans2ecC() |
void |
setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] finalMarkings) |
void |
setInitMarking(org.processmining.models.semantics.petrinet.Marking initMarking) |
void |
setNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
void |
setTrans2ecC(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> trans2ecC) |
public PNetPattern(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> mapping, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking... finalMarkings)
public org.processmining.models.graphbased.directed.petrinet.PetrinetGraph getNet()
public void setNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
net
- the net to setpublic org.processmining.models.semantics.petrinet.Marking getInitMarking()
public void setInitMarking(org.processmining.models.semantics.petrinet.Marking initMarking)
initMarking
- the initMarking to setpublic org.processmining.models.semantics.petrinet.Marking[] getFinalMarkings()
public void setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
finalMarkings
- the finalMarkings to setpublic java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> getTrans2ecC()
public void setTrans2ecC(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> trans2ecC)
trans2ecC
- the trans2ecC to set