net ::= 'PLACE' place_lists 'MARKING' marking_list? ';' transition+
no references
place_lists ::= ( capacity? place_list ';' )+
referenced by:
capacity ::= 'SAFE' 'NUMBER'? ':'
referenced by:
place_list ::= nodeident ( ',' nodeident )*
referenced by:
nodeident ::= 'IDENTIFIER' | 'NUMBER'
referenced by:
marking_list ::= marking ( ',' marking )*
referenced by:
referenced by:
transition ::= 'TRANSITION' nodeident fairness? 'CONSUME' arc_list? ';' 'PRODUCE' arc_list? ';'
referenced by:
fairness ::= ( 'STRONG' | 'WEAK' ) 'FAIR'
referenced by:
referenced by:
referenced by:
|
![]() |