Uses of Class
org.processmining.plugins.pnml.extensions.opennet.PnmlFinalMarkings

Packages that use PnmlFinalMarkings
org.processmining.plugins.pnml.extensions.opennet   
 

Uses of PnmlFinalMarkings in org.processmining.plugins.pnml.extensions.opennet
 

Methods in org.processmining.plugins.pnml.extensions.opennet that return PnmlFinalMarkings
 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)