Package | Description |
---|---|
org.processmining.plugins.pnml.base | |
org.processmining.plugins.pnml.elements.extensions.opennet |
Modifier and Type | Method and Description |
---|---|
PnmlMarkedPlace |
FullPnmlElementFactory.createPnmlMarkedPlace() |
PnmlMarkedPlace |
PnmlElementFactory.createPnmlMarkedPlace() |
Modifier and Type | Method and Description |
---|---|
PnmlMarkedPlace |
PnmlMarkedPlace.convertFromOpenNet(java.lang.String id,
int nofTokens) |
PnmlMarkedPlace |
DefaultOpenNetExtensionsFactory.createPnmlMarkedPlace() |