Towards a Resource-Aware Formal Modelling Language for Workflow Planning. - Muhammad Rizwan Ali; Violet Ka I Pun (MEDI Workshops, 2021)

Cost Analysis for an Actor-Based Workflow Modelling Language. - Muhammad Rizwan Ali; Violet Ka I Pun (SBMF, 2021)

Petri Net based modeling and analysis for improved resource utilization in cloud computing. - Muhammad Rizwan Ali; Farooq Ahmad; Muhammad Hasanain Chaudary; Zuhaib Ashfaq Khan; Mohammed Alqahtani; Jehad Alqurni; Zahid Ullah 004; Wasim Ullah Khan (PeerJ Comput. Sci., 2021)

A Static Analyser for Resource Sensitive Workflow Models. - Muhammad Rizwan Ali; Violet Ka I Pun (TASE, 2023)

Cost analysis for a resource sensitive workflow modelling language. - Muhammad Rizwan Ali; Yngve Lamo; Violet Ka I Pun (Sci. Comput. Program., 2023)

Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling. - Muhammad Rizwan Ali; Yngve Lamo; Violet Ka I Pun (COORDINATION, 2024)

EasyRpl: A web-based tool for modelling and analysis of cross-organisational workflows. - Muhammad Rizwan Ali; Violet Ka I Pun; Guillermo Román-Díez (CoRR, 2025)