public static class TestAntiAlignment.MarkedNet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
org.processmining.models.semantics.petrinet.Marking |
finalMarking |
org.processmining.models.semantics.petrinet.Marking |
initialMarking |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
net |
Constructor and Description |
---|
MarkedNet(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking) |