States' diagrams (statecharts)

When using composition relation, the behavior of the composite element consists in the concurrent execution of the components (with synchronization) as illustrated with the following figure of a traffic light.

Crossroad light

As en exercise, what is the equivalent model without concurrency ? Is this model "safe" ?