Process Assigments

Process assignments are used to declare instances of process templates. The syntax is given by the grammar for PAList.

PAList  ::= PA*
PA      ::= ID '=' ID '(' Arguments ')' ';'

Examples

• P=Q();
  process P is an instance of template Q that does not have any parameters.
• S=R(x,1);
  process S is an instance of template R that has two parameters.

For more examples, see the example systems included in the UPPAAL distribution.