Package | Description |
---|---|
org.processmining.models.semantics.petrinet | |
org.processmining.models.semantics.petrinet.impl | |
org.processmining.models.semantics.petrinet.providers |
Modifier and Type | Interface and Description |
---|---|
interface |
EfficientPetrinetSemantics
Petrinet semantics designed with good performance characteristics avoiding
object creation overhead.
|
Modifier and Type | Class and Description |
---|---|
class |
EfficientPetrinetSemanticsImpl
More efficient implementation than
PetrinetSemanticsImpl avoiding
object creation. |
Modifier and Type | Method and Description |
---|---|
static PetrinetSemantics |
PetrinetSemanticsFactory.elementaryPetrinetSemantics(java.lang.Class<? extends Petrinet> net) |
static PetrinetSemantics |
PetrinetSemanticsFactory.regularPetrinetSemantics(java.lang.Class<? extends Petrinet> net) |
Modifier and Type | Method and Description |
---|---|
PetrinetSemantics |
PetrinetSemanticsProvider.provideElementary(org.processmining.framework.plugin.PluginContext context) |
PetrinetSemantics |
PetrinetSemanticsProvider.provideNormal(org.processmining.framework.plugin.PluginContext context) |