topic: Colored Petri Nets or TLA+/PlusCal deadline: 18.2.2024 note: you can use either Colored Petri Nets or TLA+/PlusCal (if you are brave) task 1: create model for air traffic control system at middle-sized international airport (Prague, Vienna) - you should capture the following: main control tower, multiple runways (at least 2), several airplanes (take-off, descent), input from radar, communication between the control tower and some airplanes task 2: document your solution - explain key overall design decisions resources for "air traffic control" https://en.wikipedia.org/wiki/Air_traffic_control https://science.howstuffworks.com/transport/flight/modern/air-traffic-control.htm