Persistent Drone Light Shows: Petri Net Models, Performance Evaluation and Resource Requirements | IEEE Conference Publication | IEEE Xplore