ADEPT Token Handling

-- (C) 1993 UVA Center for Semicustom Integrated Systems

-- Used for dependent outputs and data inputs
PROCEDURE place_token (SIGNAL T: INOUT token; tag: color_type;
                       mon_tag: mon_color_type; delay: time);
PROCEDURE ack_token (SIGNAL T: INOUT token);
PROCEDURE release_token (SIGNAL T: INOUT token);
PROCEDURE remove_token (SIGNAL T: INOUT token);

-- Used for writing to independent outputs and control inputs
PROCEDURE place_control_token (SIGNAL T: OUT token;
       tag: color_type; mon_tag: mon_color_type; delay: time);
PROCEDURE release_control_token (SIGNAL T: OUT token);
PROCEDURE release_control_token_with_color
      (SIGNAL T: OUT token;
        tag: color_type; mon_tag: mon_color_type);