public class ReducedPetriNet
extends java.lang.Object
Constructor and Description |
---|
ReducedPetriNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.deckfour.xes.classification.XEventClasses classes,
gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2id,
gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> c2id,
org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map,
GenericMap2Int<org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapTrans2Cost,
GenericMap2Int<org.deckfour.xes.classification.XEventClass> mapEvClass2Cost,
GenericMap2Int<org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapSync2Cost,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |
Modifier and Type | Method and Description |
---|---|
gnu.trove.map.TObjectIntMap<ReducedPlace> |
getFinalMarking() |
gnu.trove.map.TObjectIntMap<ReducedPlace> |
getInitialMarking() |
java.util.List<ReducedPlace> |
getPlaces() |
java.util.List<ReducedTransition> |
getTransitions() |
boolean |
reduce(int maxStep,
int maxLength) |
void |
toDot(java.io.PrintStream out) |
public ReducedPetriNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.deckfour.xes.classification.XEventClasses classes, gnu.trove.map.TObjectIntMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2id, gnu.trove.map.TObjectIntMap<org.deckfour.xes.classification.XEventClass> c2id, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map, GenericMap2Int<org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapTrans2Cost, GenericMap2Int<org.deckfour.xes.classification.XEventClass> mapEvClass2Cost, GenericMap2Int<org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapSync2Cost, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking)
public boolean reduce(int maxStep, int maxLength)
public void toDot(java.io.PrintStream out)
public java.util.List<ReducedTransition> getTransitions()
public java.util.List<ReducedPlace> getPlaces()
public gnu.trove.map.TObjectIntMap<ReducedPlace> getInitialMarking()
public gnu.trove.map.TObjectIntMap<ReducedPlace> getFinalMarking()