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