Concrete graphical grammar
<start area> ::=
<start symbol> contains { [ < virtuality > ] } is followed by <transition area>
<start symbol> ::=
Semantics
The Transition of the Process-start-node is interpreted.
Model
A <start area> which contains < virtuality > is called a virtual start.