Project gồm 5 task: parsing PNML, BFS explicit, BDD symbolic, deadlock detection, và tối ưu hóa bằng BDD-DP. Cấu trúc thư mục: Các thư mục "task1",... đến "task5" chứa source code liên quan tới từng ...