Conventions Document (conv.rng)
RELAX NG implementation
version: 0.1 (2003-06-18)
(c) 2003
Michael Weber, mweber@informatik.hu-berlin.de
First, we define several short cuts for label definitions. They are
used for simple data or if the label data are not really specified.
The usage of these short cuts is documented at the end of this file.
Furthermore, these short cuts also can be used if the rest of the
Conventions Document is ignored.
The definition attribute.content describes the content of a
simple text label without graphics (i.e. attribute to net objects).
It can be used as a schema for those labels.
A text label may have a value;
if not, then there must be a default.
The definition annotationstandard.content describes the
standard stuff of an annotation.
Each annotation may have graphical or tool specific information.
A simple text label is an annotation to a net object containing
unspecified text.
Its sub-elements occur in any order.
A simple text label behaves like an attribute to a net object.
Furthermore, it contains the standard annotation content.
A non negative integer label is an annotation with a natural
number as its value.
Its sub-elements occur in any order.
It contains the standard annotation content.
A complex label is a sub-structured annotation to a net object.
The definition complexlabel.content can be used as a general
schema for those labels.
A complex label is at least a simple text label. It may further
contain XML structured data. The subelement text contains the
string representation of the structured data.
Label definition for a user given identifier of an element describing
its meaning.
Michael Weber
2003-06-16
Label definition for initial marking in nets like P/T-nets.
Michael Weber
2003-06-16
W. Reisig: Place/transition systems. In: LNCS 254. 1987.
Label definition for arc inscriptions in nets like P/T-nets.
Michael Weber
2003-06-16
W. Reisig: Place/transition systems. In: LNCS 254. 1987.