library ieee;  --tex comment 
use ieee.std_logic_1164.all;  --tex comment 
use work.nondeterminism.all;  --tex comment 
use work.handshake.all;  --tex comment 

entity patron_bundled is  --tex comment 
  port(req_patron:in std_logic;  --tex comment 
       ack_patron:buffer std_logic:='0';  --tex comment 
       shelf:in std_logic_vector(2 downto 0));  --tex comment 
end patron_bundled;  --tex comment 

architecture four_phase of patron_bundled is  --tex comment 
  signal bag:std_logic_vector(2 downto 0);  --tex comment 
begin  --tex comment 
--\begin{algorithm}
--\small
patronP_bundled_4phase:process
begin
  guard(req_patron,'1');       -- shop calls 
  --@synthesis_off
  bag <= shelf after delay(2,4);
  wait for delay(5,10);
  --@synthesis_on
  assign(ack_patron,'1',1,3);  -- patron buys wine
  guard(req_patron,'0');       -- req_patron resets
  assign(ack_patron,'0',1,3);  -- reset ack_patron
end process;
--\end{algorithm}
end four_phase;  --tex comment