Package | Description |
---|---|
org.processmining.plugins.pnml.simple |
Modifier and Type | Method and Description |
---|---|
PNMLFinalMarkings |
PNMLRoot.getFinalMarkings() |
Modifier and Type | Method and Description |
---|---|
void |
PNMLRoot.setFinalMarkings(PNMLFinalMarkings finalMarkings) |