Package | Description |
---|---|
org.processmining.plugins.pnml.base | |
org.processmining.plugins.pnml.elements.extensions.opennet |
Modifier and Type | Method and Description |
---|---|
PnmlFinalMarkings |
FullPnmlElementFactory.createPnmlFinalMarkings() |
PnmlFinalMarkings |
PnmlElementFactory.createPnmlFinalMarkings() |
Modifier and Type | Method and Description |
---|---|
PnmlFinalMarkings |
PnmlFinalMarkings.convertFromOpenNet(java.util.Collection<? extends Place> places,
java.util.Collection<Marking> markings,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map) |
PnmlFinalMarkings |
DefaultOpenNetExtensionsFactory.createPnmlFinalMarkings() |