This sequence presents a complete small example, where a simple train system with conditions to avoid trains collisions is modelled step-by-step. It thus shows the modelling approach process when using Symmetric nets.