S. Rahmawati, F. O. Haning, D. Yuliati, and W. Lestari, “Kestabilan Model Petri Net pada Sistem Antrian Bank Menggunakan Metode Lyapunov”, saintifik, vol. 9, no. 1, pp. 68 - 74, Jan. 2023.