Text this: Pembentukan model petri net dan aljabar max-plus pada alur pelayanan nasabah bank