Rahmawati, S.; Haning, F. O.; Yuliati, D.; Lestari, W. Kestabilan Model Petri Net Pada Sistem Antrian Bank Menggunakan Metode Lyapunov. saintifik 2023, 9, 68 - 74.