/* RFID controlled door lock */
digraph {
  pad=0.5; bgcolor="lightgrey"; nodesep=1;
  node [shape="square"; style="filled";  fillcolor="cyan"];
  edge [labelfontsize=10; minlen=2; labeldistance=2; ];
  DOOR_LOCKED -> DOOR_UNLOCKED [taillabel="EVT_RFID_OK"];
  DOOR_LOCKED -> DOOR_LOCKED [taillabel="EVT_RFID_NOK"];
  DOOR_UNLOCKED -> REPORTING [taillabel="EVT_TIMER_DONE"];
  DOOR_LOCKED -> DOOR_UNLOCKED [taillabel="EVT_INTERNAL_BUTTON"];
  DOOR_UNLOCKED -> DOOR_UNLOCKED [taillabel="EVT_INTERNAL_BUTTON"];
  REPORTING -> DOOR_LOCKED [taillabel="EVT_REPORT_DONE"];
  {rank=same; DOOR_LOCKED DOOR_UNLOCKED}
}