<?xml version="1.0" encoding="Shift_JIS"?>

<!DOCTYPE FSM SYSTEM "fsm.dtd">

<FSM name="Gate" initial="Locked">

  <State name="Locked">
    <Event name="Coin" action="Unlock" transition="Unlocked"/>
    <Event name="Pass" action="Alart"/>
  </State>

  <State name="Unlocked">
    <Event name="Coin" action="ThankYou"/>
    <Event name="Pass" action="Lock" transition="Locked"/>
  </State>

</FSM>

