Basic Module Format
Architecture

ARCHITECTURE ar_module_name OF module_name IS

BEGIN

process_1:PROCESS

   -- [4]

   VARIABLE variable_names : variable_types;

   BEGIN

   -- [5]

   IF token_present (data_input) AND

     token_removed (dependent_output) THEN

     -- do something

     place_token (dependent_output, color_of (data_input),

                  mon_color_of (data_input), delay);

   END IF;

   -- [6]

   IF token_present (control_input) THEN

   -- do something

   place_control_token (independent_output,

    color_of (control_input), mon_color_of (control_input, 0 ns));