public static class ModelSemantics.Factory
extends java.lang.Object
Constructor and Description |
---|
Factory() |
Modifier and Type | Method and Description |
---|---|
static ModelSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
construct(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
public static ModelSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> construct(org.processmining.models.graphbased.directed.petrinet.Petrinet net)