K entities

The elements of the K language are:

• input links (relations between sensors and input PINs),
• variables,
• output links (relations between actuator and output PINs),
• events (conditions on I / O links and variables)
• commands (operations on output links and variables),
• rules (relations between events and commands),

The relationships between the above entities are shown in Figure 1.