Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 5.33 KB
<?xml version="1.0" encoding="UTF-8"?>
<bgf:grammar xmlns:bgf="http://planet-sl.org/bgf" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"><bgf:production><nonterminal>LocatedElement</nonterminal><bgf:expression><nonterminal>IdedElement</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LocatedElement</nonterminal><bgf:expression><nonterminal>URI</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LocatedElement</nonterminal><bgf:expression><nonterminal>PNMLDocument</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LocatedElement</nonterminal><bgf:expression><nonterminal>NetContent</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LocatedElement</nonterminal><bgf:expression><nonterminal>LabeledElement</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LocatedElement</nonterminal><bgf:expression><nonterminal>Label</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>IdedElement</nonterminal><bgf:expression><nonterminal>NetElement</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>IdedElement</nonterminal><bgf:expression><nonterminal>NetContentElement</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>IdedElement</nonterminal><bgf:expression><nonterminal>Arc</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>URI</nonterminal><bgf:expression><selectable><selector>value</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression></bgf:production><bgf:production><nonterminal>PNMLDocument</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>xmlns</selector><bgf:expression><nonterminal>URI</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>nets</selector><bgf:expression><nonterminal>NetElement</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>NetElement</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>type</selector><bgf:expression><nonterminal>URI</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>document</selector><bgf:expression><nonterminal>PNMLDocument</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>contents</selector><bgf:expression><nonterminal>NetContent</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><selectable><selector>name</selector><bgf:expression><nonterminal>Name</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>NetContent</nonterminal><bgf:expression><nonterminal>NetContentElement</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>NetContent</nonterminal><bgf:expression><nonterminal>Arc</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>LabeledElement</nonterminal><bgf:expression><nonterminal>Name</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Label</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>text</selector><bgf:expression><nonterminal>String</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>labeledElement</selector><bgf:expression><nonterminal>LabeledElement</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Name</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>net</selector><bgf:expression><nonterminal>NetElement</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>netContent</selector><bgf:expression><nonterminal>NetContent</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>NetContentElement</nonterminal><bgf:expression><nonterminal>Place</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>NetContentElement</nonterminal><bgf:expression><nonterminal>Transition</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Arc</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>source</selector><bgf:expression><nonterminal>NetContentElement</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>target</selector><bgf:expression><nonterminal>NetContentElement</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Place</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>Transition</nonterminal><bgf:expression><epsilon/></bgf:expression></bgf:production><bgf:production><nonterminal>Integer</nonterminal><bgf:expression><value>int</value></bgf:expression></bgf:production><bgf:production><nonterminal>String</nonterminal><bgf:expression><value>string</value></bgf:expression></bgf:production></bgf:grammar>