It provides an easy way to create a process by drawing the operations of the process. Each process is an automaton where a location is a snapshot of the process and an edge is used to describe a transition from one location to another.

An edge includes five parts.

First, the Event is the name of the action making the process to change.

Second, the Clock Guard is the timed constraint of transition execution.

Third, the Transition Guard is the condition of the action to happen.

Next is the Program which is the description of the action. It defines what the new state of the process from the current state is if this action is trigered.

Finally, Reset Clocks is set the clock to zero. In this manual we will use the Transition and Link interchangeably. The Transition is actually represented a real link in the canvas.