| Package | Description |
|---|---|
| org.processmining.maxsyncalignments.algorithms | |
| org.processmining.maxsyncalignments.util |
| Modifier and Type | Field and Description |
|---|---|
MarkingGraph |
Main.mg |
| Modifier and Type | Method and Description |
|---|---|
static MarkingGraph |
PetrinetToMarkingGraph.Convert(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
| Modifier and Type | Method and Description |
|---|---|
static Alignment |
SequenceToAlignment.Align(MarkingGraph mg,
TransClosureGraph tcg,
java.util.ArrayList<java.lang.Integer> trace,
java.util.ArrayList<java.lang.Integer> subsequence) |
static TransClosureGraph |
MarkingGraphToTransClosureGraph.Convert(MarkingGraph mg) |
| Modifier and Type | Method and Description |
|---|---|
static void |
DOTPrinter.ToDOT(MarkingGraph mg,
java.lang.String filename) |