Petri Net and Max-Plus Algebra Model in Bank Queue with Two Servers in Each Service
Gevinda Arulia Martha, Siswanto Siswanto, Tri Atmojo Kusmayadı · Journal of Physics Conference Series · 2019
Abstract Bank is one of the business entity used by most of the people in the world including Indonesia and play an important role of nancial institutions in the economy of society. There are some of the bank services that are given to us such as customer service, teller, loan service, etc. The main services provided by every bank are customer services and tellers. Queuing problem that happened in bank services can be modeled using mathematics. Mathematics model used in this research is timed petri net. Petri net models the queue in the services system into a discrete form where in this research is used two main services in the bank with two counters in each service. Furthermore, from the ow of petri net that has been made is built the coverability tree to nd out the liveness and deadlocks of each groove petri net. Next, the petri net model is constructed using max-plus algebra.