Persistent Drone Light Shows: Petri Net Models, Performance Evaluation and Resource Requirements. - Mirza Essa Neebraz; Ammar Altaweel; James R. Morrison (AIBThings, 2023)