In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...

Location is an important factor in the activity of economic enterprises. Owing to the importance, location-based sciencesought/seeks to provide the methods in order to determine and select the optimal location in the activities of enterprises. Enterprises seek to use scientific methods to maximize the services and efficiency and minimize the costs. Suitable location plays an important role in m...

A number of formal methods are available in literature for analysis and design of software as well as hardware systems. To choose a particular specification method, it depends on the character of the desired product. As the complexity of software increases, the need for reasoning about correct behaviour becomes more prominent. Formal methods are a set of techniques for analysis, verification, a...

Automated Teller Machines (ATMs) can be considered among one of the most important service facilities in the banking industry. The investment in ATMs and the impact on the banking industry is growing steadily in every part of the world. The banks take into consideration many factors like safety, convenience, visibility, and cost in order to determine the optimum locations of ATMs. Today, ATMs a...

Based on the findings of Massachusetts Institute of Technology, organizations’ data double every five years. However, the rate of using data is 0.3. Nowadays, data mining tools have greatly facilitated the process of knowledge extraction from a welter of data. This paper presents a hybrid model using data gathered from an ATM manufacturing company. The steps of the research are based on CRISP-D...

Bank Syariah Indonesia (BSI) is a new Islamic bank resulting from the merger of three banks that requires development to maximize feasibility Automated Teller Machine (ATM) location. The placement proper ATM location can increase bank's profits. This research was conducted assist BSI Jember Regency in determining level 10 locations are already owned based on several criteria have been selected....

The growing adoption of automated teller machines (ATMs) worldwide, ensuring the security ATM transactions and protecting customer data has become a critical concern for banking industry. In this research paper, we proposed an Internet Things (IoT) based system using NodeMCU ESP8266 module, PIR (Passive Infrared) sensor, LCD display with I2C interface, Telegram app. utilizes which is low-cost W...

In densely populated urban environments, the distribution of microbes and the drivers of microbial community assemblages are not well understood. In sprawling metropolitan habitats, the "urban microbiome" may represent a mix of human-associated and environmental taxa. Here we carried out a baseline study of automated teller machine (ATM) keypads in New York City (NYC). Our goal was to describe ...

An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly complicated in design and implementation. This paper presents the formal design, specification, and modeling of the ATM system using a denotational mathematics known as Real-Time Process Algebra (RTPA). The conceptual model of the ATM system is introduced as the initial requirements for the system. The ar...