| 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) |