Whitening of greenhouse’s roof using drones and Petri net models | IEEE Conference Publication | IEEE Xplore