<graphical typebased process definition>::=
<process symbol> contains
{<typebased process heading> { <gate>* }set }
The <gate>s are placed near the border of the symbols and associated with the connection point to signal routes.
A typebased process definition defines a Process-definition derived by transformation from a process type.
Creation of individual process instances are described in §2.4.4 (system initialization) and §2.7.2 (dynamic create request).
A <textual typebased process definition> or a <graphical typebased process definition> is transformed to a <process definition>; which has the definitions of the process type as defined by <process type expression>.