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 ...

China’s Approved Destination Status (ADS) policy governs foreign leisure travel by citizens to ADS-designated countries. To model the effects of ADS on Chinese visitor arrivals, we specify a model of demand for a representative Chinese consumer who values trips to n differentiated foreign destinations. Using panel data for Chinese visitor arrivals for 61 countries from 1985 to 2005, we estimate...

We analyze dynamic allocations in a model with uncertain demand and with unobservable arrivals. The planner learns along the way about future demand, but strategic agents, who anticipate this behavior, strategically choose the timing of their arrivals. We examine the conditions under which the complete information, dynamically efficient allocation is implementable, and characterize the necessar...

Over 400 cities around the world have deployed or have plans to deploy a bike sharing system. However, the factors that drive their usage and the amount of rebalancing they require are not known precisely. A knowledge of these factors would allow cities to design or modify their systems to increase usage while lowering rebalancing costs. We collect station-level occupancy data from two cities a...