Formal modelling and verification of high interactive honeypot using coloured Petri nets. - Sheetal Gokhale; Irfan A. Siddavatam; Ashwini Dalvi; Mohammed Shaikh; Suchitra Patil (Int. J. Crit. Comput. Based Syst., 2022)