/Meeting-Room-Automata

IoT meeting room automatas implemented with UPPAAL

Primary LanguageTeXMIT LicenseMIT

Meeting Room Automata

This is the final project of the course Formal Language and Automata, EECS, PKU.

Environment

UPPAAL 4.0

Directory Structure

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