From: http://www.informatik.hu-berlin.de/top/pnml/detail.html
Date: 2000-09-23
2.1 Petri Net Markup Language Schema
]>
Proposal: Petri Net Markup Language schema
Matthias Juengel 28.03.2000
Michael Weber 2000-05-31
There should be an attribute refering to the namespace of the
special PNTD.
The interface of a net contains definitions or references of
Petri net nodes. If the net is organized in pages, then
the definitions are unbounded but may have certain graphical
representatives.
This describes an abstraction of a net and may serve as a
shorthand of this net in nets which include this net as a block.
The abstract net may be a result of former states of development.
There are subpages blocks, Petri net nodes, Petri net arcs,
and references to nodes (even on the same page).
There are further subpages blocks, Petri net nodes, Petri net arcs,
and references to nodes.
The net referred by socketNet is connected with its interface to
certain nodes of the including net.
connects a place of the including net with a place of the
included net.
refers to a place (in this page, if any) of the net.
refers to a place or a placeRef in the interface of the
socket net.
connects a transition of the including net with a transition
of the included net.
refers to a transition (in this page, if any) of the net.
refers to a transition or a transitionRef in the interface
of the socket net.
is a graphical representative of the place refered by the attribute
ref.
refers to an ID of a place (not a placeRef) of the net.
is a graphical representative of the transition refered by the
attribute ref.
refers to an ID of a transition (not a transitionRef) of the net.
defines the relative position (offset) of the label according to
the position (if any) of the element at which it is annotated.
defines the relative position (offset) of the label according to
the centre of the given segment (numbered from zero on at the
source node) of the arc at which it is annotated.
2.2 Petri Net Type Definition Schema
2.2.1 Example: algebraic system nets
Extension to:
Proposal: Petri Net Markup Language schema
for hl-nets
Matthias Juengel 28.03.2000