// modification of automatically generated by Xtext
grammar org.xtext.example.iccpn.ICCPN with org.eclipse.xtext.common.Terminals 

import "platform:/resource/ICCPN/model/ICCPN.ecore" 

import "http://www.eclipse.org/emf/2002/Ecore" as ecore

ICCPN returns ICCPN:
	{ICCPN}
    (
    	'<eca>'
	    ('<event>'(places+=Place))?
	    (transtions+=Transition)?
	    '</eca>'
    )*;

Place returns Place:
	PrimitiveEvent /*there are other alternatives that I have commented for the timebeing*/;

Transition returns Transition:
	RuleTransition /*there are other alternatives that I have commented for the timebeing*/;

EString returns ecore::EString:
	STRING | ID;

PrimitiveEvent returns PrimitiveEvent:
	{PrimitiveEvent}
	'<cterm type=primitive>' (eventName=EString)  '</cterm>''</event>'
    (('<normalArc>' (normalConnection=[Transition|EString])'</normalArc>')? |
     ('<inhibitorArc>'(inhibitorConnection=[Transition|EString])'</inhibitorArc>')? | 
     ('<startArc>'(startConnection=[Transition|EString])'</startArc>')? |
     ('<endArc>'(endConnection=[Transition|EString])'</endArc>')?
    )?;
RuleTransition returns RuleTransition:
	{RuleTransition}
	'<ruleTransition>' (transitionName=EString)
	('<condition>'('True'|condition=EString )'</condition>')?
	'</ruleTransition>'
	('<action>' 
		((primitiveEvents+=[PrimitiveEvent|EString])*)
	'</action>');