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

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

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

Methods in org.processmining.plugins.pnml.extensions.opennet that return PnmlMarkedPlace
 PnmlMarkedPlace PnmlMarkedPlace.convertFromOpenNet(java.lang.String id, int nofTokens)