Fuzzy coloured petri nets-based method to analyse and verify the functionality of software. - Mina Chavoshi; Seyed Morteza Babamir (CAAI Trans. Intell. Technol., 2023)