Package | Description |
---|---|
org.processmining.performancespectrumintegration.algorithms.miner | |
org.processmining.performancespectrumintegration.algorithms.petrinet |
Constructor and Description |
---|
AlignmentSemanticsBuilder(org.processmining.models.semantics.petrinet.Marking initialMarking,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,AdjPlaces> adjPlacesMap) |
Modifier and Type | Method and Description |
---|---|
static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,AdjPlaces> |
GraphTools.getAdjPlacesMap(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |