Pattern Based Model Reuse Using Colored Petri Nets. - Syed Hassan Askari; Shahrukh Ali Khan; Muhammad Haris 001; Muhammad Shoaib 003 (ICCSA (7), 2019)

Composability Verification of Complex Systems Using Colored Petri Nets. - Imran Mahmood; Syed Hassan Askari; Hessam S. Sarjoughian (WSC, 2021)