Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
3 lines (2 sloc) 6.41 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>NamedElement</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>NamedElement</nonterminal><bgf:expression><nonterminal>PetriNet</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>NamedElement</nonterminal><bgf:expression><nonterminal>Element</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>NamedElement</nonterminal><bgf:expression><nonterminal>Arc</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>PetriNet</nonterminal><bgf:expression><sequence><bgf:expression><plus><bgf:expression><selectable><selector>elements</selector><bgf:expression><nonterminal>Element</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><bgf:expression><plus><bgf:expression><selectable><selector>execs</selector><bgf:expression><nonterminal>Execution</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></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>Place</nonterminal><bgf:expression><sequence><bgf:expression><plus><bgf:expression><selectable><selector>incomingArc</selector><bgf:expression><nonterminal>TransitionToPlace</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>outgoingArc</selector><bgf:expression><nonterminal>PlaceToTransition</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>incomingArc</selector><bgf:expression><nonterminal>PlaceToTransition</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>outgoingArc</selector><bgf:expression><nonterminal>TransitionToPlace</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Arc</nonterminal><bgf:expression><nonterminal>PlaceToTransition</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>Arc</nonterminal><bgf:expression><nonterminal>TransitionToPlace</nonterminal></bgf:expression></bgf:production><bgf:production><nonterminal>PlaceToTransition</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>from</selector><bgf:expression><nonterminal>Place</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>to</selector><bgf:expression><nonterminal>Transition</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>TransitionToPlace</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>from</selector><bgf:expression><nonterminal>Transition</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>to</selector><bgf:expression><nonterminal>Place</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Execution</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>net</selector><bgf:expression><nonterminal>PetriNet</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>markings</selector><bgf:expression><nonterminal>Marking</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>movements</selector><bgf:expression><nonterminal>Movement</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Token</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>placedAt</selector><bgf:expression><nonterminal>Place</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>marking</selector><bgf:expression><nonterminal>Marking</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Marking</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>exec</selector><bgf:expression><nonterminal>Execution</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><plus><bgf:expression><selectable><selector>tokens</selector><bgf:expression><nonterminal>Token</nonterminal></bgf:expression></selectable></bgf:expression></plus></bgf:expression></sequence></bgf:expression></bgf:production><bgf:production><nonterminal>Movement</nonterminal><bgf:expression><sequence><bgf:expression><selectable><selector>exec</selector><bgf:expression><nonterminal>Execution</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>fire</selector><bgf:expression><nonterminal>Transition</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>source</selector><bgf:expression><nonterminal>Marking</nonterminal></bgf:expression></selectable></bgf:expression><bgf:expression><selectable><selector>target</selector><bgf:expression><nonterminal>Marking</nonterminal></bgf:expression></selectable></bgf:expression></sequence></bgf:expression></bgf:production><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:grammar>