digraph g {
  subgraph "cluster" {
    {allocated;available}->allocated;
    allocated->allocated[label="?res_req!res_rej"];
    allocated->available[label="?rel_req!rel_ack"];
    allocated->available[label="?rel_ack"];
    any->any
  }
}