トイレは男性(小)用と個室があるのだが、男性は男性用も個室も使える。女性は個室しか使えない。列は男性の列と女性の列に分かれている。なんとなく、個室が空いても男性は女性に譲ることがある(譲らないこともある)。
待ち行列の問題に、こういうのはあるのかしら？あるいはモデリングすると面白いかな？
リソースAとBがある。リソースを必要とするタスクXとYがある。XはAまたはBのどちらかでも利用できる。YはAしか利用できない。XとYはそれぞれ別々の待ち行列を構成している。
リソースをサーバーのキュー、Aが照会・更新系でBは照会のみ、Xが社外の一般ユーザーでYが社内ユーザー、みたいに考えると、現実のシステムと対応づきそう。
