D. Rahakbauw, “DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET”, BAREKENG: J. Math. & App., vol. 7, no. 1, pp. 9-14, Mar. 2013.