Nurwan Nurwan, Stenly Pranata, Isran K. Hasan
The phenomenon of students who queue to pay single tuition fee is a common occurrence in banks. As the payment process becomes increasingly complex, an effective approach is needed to model and optimize the queue system. To address this issue, Petri net model is used to represent the dynamics of queue system, including interactions between students, payment officers, and the payment verification process. Therefore, study further explored using max-plus algebra and Petri net approaches to model the payment queue system for students’ single tuition fee payments at banks. The verification of Petri net model was conducted using coverability tree, ensuring that the resulting model avoided deadlock and met L1-Live condition. Max-plus algebra model was also used to analyze wait times and facilitate decision-making. Subsequently, model of student payment queue system for single tuition fee was expressed in Equation (8). According to this model, the service time for paying the fee from arrival to departure was 3634 seconds, or 1 hour and 34 seconds. © (2025), (International Association of Engineers). All rights reserved.
Department of Mathematics, Faculty of Mathematics and Natural Science, Universitas Negeri Gorontalo, Bone Bolango, 96119, Indonesia; Department of Mathematics, Universitas Negeri Gorontalo, Bone Bolango, 96119, Indonesia; Department of Statistics, Universitas Negeri Gorontalo, Bone Bolango, 96119, Indonesia
Research at a Glance
Register to unlock
Topics & SDG Alignment
Register to unlock
Collaboration
Register to unlock
Author Profile (Selected)
Register to unlock
References Overview
Register to unlock
Journal & Source
Register to unlock
Metadata & Integrity
Register to unlock