net:

net      ::= 'PLACE' place_lists 'MARKING' marking_list? ';' transition+

no references


place_lists:

place_lists
         ::= ( capacity? place_list ';' )+

referenced by:


capacity:

capacity ::= 'SAFE' 'NUMBER'? ':'

referenced by:


place_list:

place_list
         ::= nodeident ( ',' nodeident )*

referenced by:


nodeident:

nodeident
         ::= 'IDENTIFIER'
           | 'NUMBER'

referenced by:


marking_list:

marking_list
         ::= marking ( ',' marking )*

referenced by:


marking:

marking  ::= nodeident ( ':' 'NUMBER' )?

referenced by:


transition:

transition
         ::= 'TRANSITION' nodeident fairness? 'CONSUME' arc_list? ';' 'PRODUCE' arc_list? ';'

referenced by:


fairness:

fairness ::= ( 'STRONG' | 'WEAK' ) 'FAIR'

referenced by:


arc_list:

arc_list ::= arc ( ',' arc )*

referenced by:


arc:

arc      ::= nodeident ( ':' 'NUMBER' )?

referenced by:



  ... generated by Railroad Diagram Generator