Uses of Class
org.processmining.plugins.pnml.elements.extensions.opennet.PnmlFinalMarking
-
Packages that use PnmlFinalMarking Package Description org.processmining.plugins.pnml.base org.processmining.plugins.pnml.elements.extensions.opennet -
-
Uses of PnmlFinalMarking in org.processmining.plugins.pnml.base
Methods in org.processmining.plugins.pnml.base that return PnmlFinalMarking Modifier and Type Method Description PnmlFinalMarkingFullPnmlElementFactory. createPnmlFinalMarking()PnmlFinalMarkingPnmlElementFactory. createPnmlFinalMarking() -
Uses of PnmlFinalMarking in org.processmining.plugins.pnml.elements.extensions.opennet
Methods in org.processmining.plugins.pnml.elements.extensions.opennet that return PnmlFinalMarking Modifier and Type Method Description PnmlFinalMarkingPnmlFinalMarking. convertFromOpenNet(java.util.Collection<? extends Place> places, Marking marking, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map)PnmlFinalMarkingDefaultOpenNetExtensionsFactory. createPnmlFinalMarking()
-