public class PNMLMarking
extends java.lang.Object
Constructor and Description |
---|
PNMLMarking() |
Modifier and Type | Method and Description |
---|---|
java.util.List<PNMLPlaceRef> |
getPlaces() |
void |
setPlaces(java.util.List<PNMLPlaceRef> places) |
public java.util.List<PNMLPlaceRef> getPlaces()
public void setPlaces(java.util.List<PNMLPlaceRef> places)