public interface PnmlElementFactory
PnmlModule createPnmlModule()
PnmlNet createPnmlNet()
PnmlAnnotationGraphics createPnmlAnnotationGraphics()
PnmlArcGraphics createPnmlArcGraphics()
PnmlInscription createPnmlInscription()
PnmlArcType createPnmlArcType(java.lang.String tag)
PnmlToolSpecific createPnmlToolSpecific()
PnmlName createPnmlName()
PnmlName createPnmlName(java.lang.String name)
PnmlReferenceTransition createPnmlReferenceTransition()
PnmlTransition createPnmlTransition()
PnmlPlace createPnmlPlace()
PnmlArc createPnmlArc()
PnmlLabelConnection.Sync createPnmlLabelConnectionSync()
PnmlLabelConnection.Send createPnmlLabelConnectionSend()
PnmlLabelConnection.Receive createPnmlLabelConnectionReceive()
PnmlText createPnmlText(java.lang.String text)
PnmlText createPnmlText()
PnmlGroup createPnmlGroup()
PnmlParameter createPnmlParameter()
PnmlFeature createPnmlFeature()
PnmlMarkedPlace createPnmlMarkedPlace()
PnmlPorts createPnmlPorts()
PnmlLabel.Input createPnmlLabelInput()
PnmlLabel.Output createPnmlLabelOutput()
PnmlLabel.Sync createPnmlLabelSync()
PnmlPosition createPnmlPosition()
PnmlPage createPnmlPage()
PnmlReferencePlace createPnmlReferencePlace()
PnmlFinalMarkings createPnmlFinalMarkings()
PnmlPort createPnmlPort()
PnmlConfiguration createPnmlConfiguration()
PnmlInitialMarking createPnmlInitialMarking()
PnmlNodeGraphics createPnmlNodeGraphics()
PnmlFinalMarking createPnmlFinalMarking()
PnmlDimension createPnmlDimension()
PnmlFill createPnmlFill()
PnmlLine createPnmlLine()
PnmlOffset createPnmlOffset()
PnmlFont createPnmlFont()
PnmlOffset createPnmlOffset(double x, double y)