RAHAKBAUW, D. DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET. BAREKENG: Jurnal Ilmu Matematika dan Terapan, v. 7, n. 1, p. 9-14, 1 mar. 2013.