Practical Work - Transitions System Simple practical work within the course of Transitions System via the tool TLA+.