Partially specified Boolean networks (PSBNs) provide a formal framework for the qualitative modelling of gene regulatory networks or signalling pathways in which the logic of interactions is not completely known. The tool AEON has been well-established in handling attractor analysis of PSBNs efficiently. The PSBN framework has been recently extended with algorithms supporting phenotype control allowing to stabilise the network in states exhibiting given traits. In this paper, we present a novel version of the AEON tool that supports phenotype control.