B. Guechi and M. Redjimi, “Hardware Security Module Cryptosystem Using Petri Net”, IJEEI, vol. 11, no. 2, pp. 494–502, Jun. 2023, doi: 10.52549/ijeei.v11i2.4264.