3.5.1.2 Primitive Process Definitions

3.5.1.2 Primitive Process Definitions

LTS module provides an easy mean to create processes by drawing the operation of the process. Each process is an automaton where a state is a snapshot of the process and a transition is used to describe how the state of the process changes as the result of some action of the process. A transition includes three parts. First, the Event is the name of the action making the process to change. Second, the Guard is the condition of the action to happen. And last is the Program. Program is the description of the action. It defines what the new state of the process from the current state if this action is trigered. In this manual we will use the Transition and Link interchangeably. The Transition is actually represented a real link in the canvas.