Package | Description |
---|---|
org.processmining.onlineconformance.models | |
org.processmining.onlineconformance.models.impl |
Modifier and Type | Method and Description |
---|---|
static ModelSemanticsPetrinet<org.processmining.models.semantics.petrinet.Marking> |
ModelSemanticsPetrinet.Factory.construct(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
Modifier and Type | Method and Description |
---|---|
static <S> StubbornSemantics<org.processmining.models.graphbased.directed.petrinet.Petrinet,S,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
StubbornSemantics.Factory.construct(ModelSemanticsPetrinet<S> semantics) |
Modifier and Type | Class and Description |
---|---|
class |
ModelSemanticsPetrinetMarkingTransitionImpl
wrapper around efficient petrinet semenatics, implements model-semantics
provider
|
Modifier and Type | Method and Description |
---|---|
ModelSemanticsPetrinet<S> |
StubbornSemanticsPetrinetImpl.getSemantics() |
Constructor and Description |
---|
StubbornSemanticsPetrinetImpl(ModelSemanticsPetrinet<S> semantics) |