IKH Synchronizer Start P3S5
Synchronize	IKH Start P4S1
In 1
In 2
In 3
In 4
Out 1	IKH Role1 Do something P4S1
Out 2	IKH Role2 Do something P4S1
Out 3
Out 4
Snapshot	Yes
Tag	Start

---

Synchronizer model.