Package org.processmining.plugins.pnml.simple

Class PNMLPlace

java.lang.Object

org.processmining.plugins.pnml.simple.AbstractPNMLElement

org.processmining.plugins.pnml.simple.PNMLPlace

public class PNMLPlace
extends AbstractPNMLElement

Field Summary

Fields inherited from class org.processmining.plugins.pnml.simple.AbstractPNMLElement

graphics, name, toolspecific

Constructor Summary

Constructors

Constructor	Description
PNMLPlace()

Method Summary

Modifier and Type	Method	Description
java.lang.String	getId()
PNMLText	getInitialMarking()
void	setId(java.lang.String id)
void	setInitialMarking(PNMLText initialMarking)

Methods inherited from class org.processmining.plugins.pnml.simple.AbstractPNMLElement

getGraphics, getName, getToolspecific, setGraphics, setName, setToolspecific

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PNMLPlace

public PNMLPlace()

Method Detail

getId

public java.lang.String getId()

setId

public void setId(java.lang.String id)

getInitialMarking

public PNMLText getInitialMarking()

setInitialMarking

public void setInitialMarking(PNMLText initialMarking)