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));