<process-heading> ::= process [<
qualifier
>]<process-name>
[<number-of-process-instances> [<end>]]
[<formal-parameters>]
<process-type-heading>::= [<
virtuality
>] process type [<
qualifier
>]
<process-type-name>
[<formal-context-parameters>]
[
<virtuality-constraint>
]
[<
specialisation
>][<end>]
[<formal-parameters>]
<formal-parameters> ::= fpar<typed-parameters>
{,<typed-parameters>}*
<number-of-process-instances> ::=
([<initial-number>][,[ <maximum-number>]])
The first value in the <number-of-process-instances> represents the number of instances of the process which exist when the system is created, the second value represents the maximum number of simultaneous instances of the process.