Package | Description |
---|---|
org.processmining.plugins.pnml.base | |
org.processmining.plugins.pnml.elements.extensions |
Modifier and Type | Method and Description |
---|---|
PnmlInitialMarking |
FullPnmlElementFactory.createPnmlInitialMarking() |
PnmlInitialMarking |
PnmlElementFactory.createPnmlInitialMarking() |
Modifier and Type | Method and Description |
---|---|
PnmlInitialMarking |
PnmlInitialMarking.convertFromNet(Marking marking,
Place place) |
PnmlInitialMarking |
DefaultExtensionsFactory.createPnmlInitialMarking() |