Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 3.73 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>String</nonterminal><bgf:expression><value>string</value></bgf:expression></bgf:production><bgf:production><nonterminal>Integer</nonterminal><bgf:expression><value>int</value></bgf:expression></bgf:production><bgf:production><nonterminal>Element</nonterminal><bgf:expression><nonterminal>PetriNet</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Element</nonterminal><bgf:expression><nonterminal>Place</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Element</nonterminal><bgf:expression><nonterminal>Transition</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>PetriNet</nonterminal><bgf:expression><sequence><bgf:expression><plus><bgf:expression><selectable><selector>places</selector><bgf:expression><nonterminal>Place</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>transitions</selector><bgf:expression><nonterminal>Transition</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>arcs</selector><bgf:expression><nonterminal>Arc</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Place</nonterminal><bgf:expression><sequence><bgf:expression><plus><bgf:expression><selectable><selector>incoming</selector><bgf:expression><nonterminal>TransToPlaceArc</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>outgoing</selector><bgf:expression><nonterminal>PlaceToTransArc</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Transition</nonterminal><bgf:expression><sequence><bgf:expression><plus><bgf:expression><selectable><selector>incoming</selector><bgf:expression><nonterminal>PlaceToTransArc</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>outgoing</selector><bgf:expression><nonterminal>TransToPlaceArc</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Arc</nonterminal><bgf:expression><nonterminal>PlaceToTransArc</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Arc</nonterminal><bgf:expression><nonterminal>TransToPlaceArc</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>PlaceToTransArc</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>source</selector><bgf:expression><nonterminal>Place</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>target</selector><bgf:expression><nonterminal>Transition</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>TransToPlaceArc</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>source</selector><bgf:expression><nonterminal>Transition</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>target</selector><bgf:expression><nonterminal>Place</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production></bgf:grammar>