This repository contains supplementary material related to the Drone Deployment Framework example from the publication "Integrating Comprehensive Human Oversight in Drone Deployment".
The files from this repository contain an implementation of a pre- and post-flight human oversight procedure for autonomous drones using Coloured Petri Nets (CPNs) as modelling language.
The file Mission planning process.cpn contains a CPN detailing the pre-flight checks. The file Post-mission evaluation.cpn contains a CPN detailing the post-flight checks.