$$ Parallel-Statement ::= "parallel" {Statement} {"and" {Statement}} $$ "end" ["parallel"] ";" .
Using the parallel statement more than one continuation of an analysis can be generated. Its format is:
parallel statements1 and statements2 and statements3 end parallel;
This creates as many rule paths as there are statement sequences. In the first rule path, statements1 are executed, in the second one statements2 are executed, etc. Each rule path continues by executing the statements following the parallel statement.
The keyword parallel behind the end can be omitted.