Modifier and Type | Class and Description |
---|---|
class |
Pnml
Basic (E)PNML object.
|
Modifier and Type | Class and Description |
---|---|
class |
PnmlAnnotation
Basic PNML annotation object.
|
class |
PnmlArc
Basic PNML arc object.
|
class |
PnmlBasicObject
Basic PNML object.
|
class |
PnmlName
Basic PNML name object.
|
class |
PnmlNet
Basic PNML net object.
|
class |
PnmlNode
Basic PNML node object.
|
class |
PnmlPage
Basic PNML page object.
|
class |
PnmlPlace
Basic PNML place object.
|
class |
PnmlReferencePlace
Basic PNML referencePlace object.
|
class |
PnmlReferenceTransition
Basic PNML referenceTransition object.
|
class |
PnmlText
Basic PNML text object.
|
class |
PnmlTransition
Basic PNML transition object.
|
Modifier and Type | Class and Description |
---|---|
class |
PnmlArcType
Extension PNML arc type object.
|
class |
PnmlInitialMarking
Extension PNML initial marking object.
|
class |
PnmlInscription
Extension PNML inscription object.
|
Modifier and Type | Class and Description |
---|---|
class |
PnmlConfiguration |
class |
PnmlFeature |
class |
PnmlGroup |
class |
PnmlParameter |
Modifier and Type | Class and Description |
---|---|
class |
PnmlFinalMarking |
class |
PnmlFinalMarkings |
class |
PnmlLabel |
static class |
PnmlLabel.Input |
static class |
PnmlLabel.Output |
static class |
PnmlLabel.Sync |
class |
PnmlLabelConnection |
static class |
PnmlLabelConnection.Receive |
static class |
PnmlLabelConnection.Send |
static class |
PnmlLabelConnection.Sync |
class |
PnmlMarkedPlace |
class |
PnmlModule |
class |
PnmlPort |
class |
PnmlPorts |
Modifier and Type | Class and Description |
---|---|
class |
PnmlAnnotationGraphics
PNML annotation graphics.
|
class |
PnmlArcGraphics
PNML arc graphics.
|
class |
PnmlDimension
PNML graphics dimension object.
|
class |
PnmlFill
PNML graphics fill element.
|
class |
PnmlFont
PNML graphics font object.
|
class |
PnmlLine
PNML graphics line object.
|
class |
PnmlNodeGraphics
PNML node graphics.
|
class |
PnmlOffset
PNML graphics offset object.
|
class |
PnmlPosition
PNML graphics position object.
|
Modifier and Type | Class and Description |
---|---|
class |
PnmlToolSpecific |