public class PNMLPlace extends AbstractPNMLElement
graphics, name, toolspecific
Constructor and Description |
---|
PNMLPlace() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getId() |
PNMLText |
getInitialMarking() |
void |
setId(java.lang.String id) |
void |
setInitialMarking(PNMLText initialMarking) |
getGraphics, getName, getToolspecific, setGraphics, setName, setToolspecific