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