Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
1 lines (1 sloc) 19.5 KB
<ns0:grammar xmlns:ns0="http://planet-sl.org/bgf"><root>pnml.element</root><ns0:production><nonterminal>nettype.uri</nonterminal><ns0:expression><selectable><selector>type</selector><ns0:expression><terminal>http://www.pnml.org/version-2009/grammar/ptnet</terminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>PTMarking</nonterminal><ns0:expression><selectable><selector>initialMarking</selector><ns0:expression><nonterminal>nonnegativeintegerlabel.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>PTArcAnnotation</nonterminal><ns0:expression><selectable><selector>inscription</selector><ns0:expression><nonterminal>positiveintegerlabel.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>place.labels</nonterminal><ns0:expression><optional><ns0:expression><nonterminal>PTMarking</nonterminal></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>arc.labels</nonterminal><ns0:expression><optional><ns0:expression><nonterminal>PTArcAnnotation</nonterminal></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>nonnegativeintegerlabel.content</nonterminal><ns0:expression><sequence><ns0:expression><selectable><selector>text</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><nonterminal>annotationstandard.content</nonterminal></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>positiveintegerlabel.content</nonterminal><ns0:expression><sequence><ns0:expression><selectable><selector>text</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><nonterminal>annotationstandard.content</nonterminal></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>pnml.element</nonterminal><ns0:expression><selectable><selector>pnml</selector><ns0:expression><plus><ns0:expression><nonterminal>pnml.content</nonterminal></ns0:expression></plus></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>pnml.content</nonterminal><ns0:expression><nonterminal>net.element</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>net.element</nonterminal><ns0:expression><selectable><selector>net</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><nonterminal>nettype.uri</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>Name</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><nonterminal>net.labels</nonterminal></ns0:expression><ns0:expression><plus><ns0:expression><nonterminal>page.content</nonterminal></ns0:expression></plus></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>identifier.content</nonterminal><ns0:expression><selectable><selector>id</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>nettype.uri</nonterminal><ns0:expression><selectable><selector>type</selector><ns0:expression><terminal>http://www.pnml.org/version-2009/grammar/pnmlcoremodel</terminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>net.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>basicobject.content</nonterminal><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>Name</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>page.content</nonterminal><ns0:expression><selectable><selector>page</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>page.labels</nonterminal></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>netobject.content</nonterminal></ns0:expression></star></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>pagegraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>netobject.content</nonterminal><ns0:expression><choice><ns0:expression><nonterminal>page.content</nonterminal></ns0:expression><ns0:expression><nonterminal>place.content</nonterminal></ns0:expression><ns0:expression><nonterminal>transition.content</nonterminal></ns0:expression><ns0:expression><nonterminal>refplace.content</nonterminal></ns0:expression><ns0:expression><nonterminal>reftrans.content</nonterminal></ns0:expression><ns0:expression><nonterminal>arc.content</nonterminal></ns0:expression></choice></ns0:expression></ns0:production><ns0:production><nonterminal>page.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>place.content</nonterminal><ns0:expression><selectable><selector>place</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>place.labels</nonterminal></ns0:expression><ns0:expression><nonterminal>node.content</nonterminal></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>place.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>transition.content</nonterminal><ns0:expression><selectable><selector>transition</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>transition.labels</nonterminal></ns0:expression><ns0:expression><nonterminal>node.content</nonterminal></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>transition.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>node.content</nonterminal><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>nodegraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>reference</nonterminal><ns0:expression><selectable><selector>ref</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>refplace.content</nonterminal><ns0:expression><selectable><selector>referencePlace</selector><ns0:expression><nonterminal>refnode.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>reftrans.content</nonterminal><ns0:expression><selectable><selector>referenceTransition</selector><ns0:expression><nonterminal>refnode.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>refnode.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><nonterminal>reference</nonterminal></ns0:expression><ns0:expression><nonterminal>basicobject.content</nonterminal></ns0:expression><ns0:expression><nonterminal>node.content</nonterminal></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>arc.content</nonterminal><ns0:expression><selectable><selector>arc</selector><ns0:expression><sequence><ns0:expression><nonterminal>identifier.content</nonterminal></ns0:expression><ns0:expression><selectable><selector>source</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>target</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>Name</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><nonterminal>arc.labels</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>edgegraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>arc.labels</nonterminal><ns0:expression><epsilon /></ns0:expression></ns0:production><ns0:production><nonterminal>pagegraphics.content</nonterminal><ns0:expression><nonterminal>nodegraphics.content</nonterminal></ns0:expression></ns0:production><ns0:production><nonterminal>nodegraphics.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>position.element</nonterminal></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>dimension.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>fill.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>line.element</nonterminal></ns0:expression></optional></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>edgegraphics.content</nonterminal><ns0:expression><sequence><ns0:expression><star><ns0:expression><nonterminal>position.element</nonterminal></ns0:expression></star></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>line.element</nonterminal></ns0:expression></optional></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>simpletext.content</nonterminal><ns0:expression><optional><ns0:expression><selectable><selector>text</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression></ns0:production><ns0:production><nonterminal>annotationstandard.content</nonterminal><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>graphics</selector><ns0:expression><nonterminal>annotationgraphics.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>toolspecific.element</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>simpletextlabel.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>simpletext.content</nonterminal></ns0:expression><ns0:expression><nonterminal>annotationstandard.content</nonterminal></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>Name</nonterminal><ns0:expression><selectable><selector>name</selector><ns0:expression><nonterminal>simpletextlabel.content</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>annotationgraphics.content</nonterminal><ns0:expression><sequence><ns0:expression><nonterminal>offset.element</nonterminal></ns0:expression><ns0:expression><sequence><ns0:expression><optional><ns0:expression><nonterminal>fill.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>line.element</nonterminal></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><nonterminal>font.element</nonterminal></ns0:expression></optional></ns0:expression></sequence></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>position.element</nonterminal><ns0:expression><selectable><selector>position</selector><ns0:expression><nonterminal>coordinate.attributes</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>offset.element</nonterminal><ns0:expression><selectable><selector>offset</selector><ns0:expression><nonterminal>coordinate.attributes</nonterminal></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>coordinate.attributes</nonterminal><ns0:expression><sequence><ns0:expression><selectable><selector>x</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>y</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></ns0:production><ns0:production><nonterminal>dimension.element</nonterminal><ns0:expression><selectable><selector>dimension</selector><ns0:expression><sequence><ns0:expression><selectable><selector>x</selector><ns0:expression><nonterminal>positiveDecimal.content</nonterminal></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>y</selector><ns0:expression><nonterminal>positiveDecimal.content</nonterminal></ns0:expression></selectable></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>positiveDecimal.content</nonterminal><ns0:expression><value>int</value></ns0:expression></ns0:production><ns0:production><nonterminal>fill.element</nonterminal><ns0:expression><selectable><selector>fill</selector><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>color</selector><ns0:expression><nonterminal>color.type</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>gradient-color</selector><ns0:expression><nonterminal>color.type</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>gradient-rotation</selector><ns0:expression><choice><ns0:expression><terminal>vertical</terminal></ns0:expression><ns0:expression><terminal>horizontal</terminal></ns0:expression><ns0:expression><terminal>diagonal</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>image</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>line.element</nonterminal><ns0:expression><selectable><selector>line</selector><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>shape</selector><ns0:expression><choice><ns0:expression><terminal>line</terminal></ns0:expression><ns0:expression><terminal>curve</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>color</selector><ns0:expression><nonterminal>color.type</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>width</selector><ns0:expression><nonterminal>positiveDecimal.content</nonterminal></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>style</selector><ns0:expression><choice><ns0:expression><terminal>solid</terminal></ns0:expression><ns0:expression><terminal>dash</terminal></ns0:expression><ns0:expression><terminal>dot</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>color.type</nonterminal><ns0:expression><value>string</value></ns0:expression></ns0:production><ns0:production><nonterminal>font.element</nonterminal><ns0:expression><selectable><selector>font</selector><ns0:expression><sequence><ns0:expression><optional><ns0:expression><selectable><selector>family</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>style</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>weight</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>size</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>decoration</selector><ns0:expression><choice><ns0:expression><terminal>underline</terminal></ns0:expression><ns0:expression><terminal>overline</terminal></ns0:expression><ns0:expression><terminal>line-through</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>align</selector><ns0:expression><choice><ns0:expression><terminal>left</terminal></ns0:expression><ns0:expression><terminal>center</terminal></ns0:expression><ns0:expression><terminal>right</terminal></ns0:expression></choice></ns0:expression></selectable></ns0:expression></optional></ns0:expression><ns0:expression><optional><ns0:expression><selectable><selector>rotation</selector><ns0:expression><value>int</value></ns0:expression></selectable></ns0:expression></optional></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>toolspecific.element</nonterminal><ns0:expression><selectable><selector>toolspecific</selector><ns0:expression><sequence><ns0:expression><selectable><selector>tool</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><selectable><selector>version</selector><ns0:expression><value>string</value></ns0:expression></selectable></ns0:expression><ns0:expression><star><ns0:expression><nonterminal>anyElement</nonterminal></ns0:expression></star></ns0:expression></sequence></ns0:expression></selectable></ns0:expression></ns0:production><ns0:production><nonterminal>anyElement</nonterminal><ns0:expression><star><ns0:expression><choice><ns0:expression><any /></ns0:expression><ns0:expression><value>string</value></ns0:expression><ns0:expression><nonterminal>anyElement</nonterminal></ns0:expression></choice></ns0:expression></star></ns0:expression></ns0:production></ns0:grammar>