This is the final project of the course Formal Language and Automata, EECS, PKU.
UPPAAL 4.0
Meeting-Room-Automata/ # Root directory
├── latex/ # Latex source code of the PDF report
│ ├── images/
| │ └── some images
│ ├── IEEEtran.cls
│ ├── paper.tex
│ └── ref.bib
├── model/ # UPPAAL model source code
│ └── meeting_room.xml
├── ref/ # References and tutorials
│ ├── small_tutorial.pdf
│ └── tutorial.pdf
├── reports/ # Reports (PDF & PPT)
│ ├── report.pdf
│ └── report.pptx
├── LICENSE
└── README.md