Uses of Class
org.processmining.plugins.pnml.elements.extensions.opennet.PnmlFinalMarkings
-
Packages that use PnmlFinalMarkings Package Description org.processmining.plugins.pnml.base org.processmining.plugins.pnml.elements.extensions.opennet -
-
Uses of PnmlFinalMarkings in org.processmining.plugins.pnml.base
Methods in org.processmining.plugins.pnml.base that return PnmlFinalMarkings Modifier and Type Method Description PnmlFinalMarkingsFullPnmlElementFactory. createPnmlFinalMarkings()PnmlFinalMarkingsPnmlElementFactory. createPnmlFinalMarkings() -
Uses of PnmlFinalMarkings in org.processmining.plugins.pnml.elements.extensions.opennet
Methods in org.processmining.plugins.pnml.elements.extensions.opennet that return PnmlFinalMarkings Modifier and Type Method Description PnmlFinalMarkingsPnmlFinalMarkings. 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)PnmlFinalMarkingsDefaultOpenNetExtensionsFactory. createPnmlFinalMarkings()
-