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

Packages that use PnmlMarkedPlace

Package	Description
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

Modifier and Type	Method and Description
PnmlMarkedPlace	PnmlMarkedPlace.convertFromOpenNet(java.lang.String id, int nofTokens)