- documentation of the net grammar as EBNF and railroad diagrams