rpr1 - 2018-01-28

Hello,
how do you create an initialization operation in CTZ?
For instance, let's say I've created the following schema:

AIRPORT
waiting: P PLANE

How do I create the following

Init
AIRPORT'
waiting' = 0
...

Many thanks.