On 2-4 March 2020, Dmytro Zaitsev, Professor at the Department of Information Technology, took part in the EU COST programme in the technological park of Fuerteventura (Canary Islands). The event included a working meeting on the IMAAC project and the 3rd school-training on the theory of optimal control, mathematical modelling and mosquito control strategies. During the meeting, a coronavirus simulator was presented and improved during brainstorming; this event was widely covered in the local and world press.

According to the results of the presentation by Professor Dmytro Zaitsev on ‘Modelling Methodology by Means of Coloured Petri Nets (CPN)’ and discussions, it was decided to use the CPN language as a formal tool for describing and verifying patterns of human, mosquito, and virus behaviour in complex simulation systems. Particularly for the formalization of the models under the ‘COVID-19 pandemic preparedness simulator’ presented by Martin Eichner Marcus Schwem, the relevant work began during the meeting.