RELAX NG implementation of Petri Net Type Definition for Place/Transition nets.
This PNTD re-defines the value of nettype.uri for P/T nets.
File name: ptnet.pntd
Version: 2009
(c) 2007-2009
Lom Hillah (AFNOR)
Revision:
July 2008 - L.H
The PT Net type definition.
This document also declares its namespace.
All labels of this Petri net type come from the Conventions document.
The use of token graphics as tool specific feature is possible.
The URI value for the net type attribute,
declaring the type of P/T nets.
http://www.pnml.org/version-2009/grammar/ptnet
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 P/T-nets.
Michael Weber, AFNOR
2003-06-16
W. Reisig: Place/transition systems. In: LNCS 254. 1987.
A place of a P/T net may have an initial marking.
An arc of a P/T net may have an inscription.