Package | Description |
---|---|
org.processmining.plugins.pnml.simple |
Modifier and Type | Method and Description |
---|---|
java.util.List<PNMLPlaceRef> |
PNMLMarking.getPlaces() |
Modifier and Type | Method and Description |
---|---|
void |
PNMLMarking.setPlaces(java.util.List<PNMLPlaceRef> places) |