Modelling Attacks in Blockchain Systems using Petri Nets. - Md. Atik Shahriar; Faisal Haque Bappy; A. K. M. Fakhrul Hossain; Dayamoy Datta Saikat; Md. Sadek Ferdous; Mohammad Jabed Morshed Chowdhury; Md. Zakirul Alam Bhuiyan (TrustCom, 2020)