View of DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET | BAREKENG: Jurnal Ilmu Matematika dan Terapan