|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |