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

Packages that use PnmlMarkedPlace

Package	Description
org.processmining.plugins.pnml.base
org.processmining.plugins.pnml.elements.extensions.opennet

Uses of PnmlMarkedPlace in org.processmining.plugins.pnml.base

Methods in org.processmining.plugins.pnml.base that return PnmlMarkedPlace

Modifier and Type	Method and Description
PnmlMarkedPlace	FullPnmlElementFactory.createPnmlMarkedPlace()
PnmlMarkedPlace	PnmlElementFactory.createPnmlMarkedPlace()

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

Methods in org.processmining.plugins.pnml.elements.extensions.opennet that return PnmlMarkedPlace

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