A Petri Net model has been established to park cars that arrive at the arena within the allotted time. If there are k floors and m x n parking slots per level, each car is assigned a quadruple (i, j, k, tm) if one is available. All vehicles must be removed after the ‘tm’ hours of parking. When a car arrives and is numbered, the clock starts. Each car that arrives will receive a quadruple until the parking lot is filled. It will be displayed if the arena does not have parking or cars. If a car leaves before the ‘tm’ hours, the slot is reserved for the next car. This concept was developed utilizing a timed, colored Petri net with an inhibitor arc. Time will be important because each car may only use the slot for a limited time. Consumers from three complexes, including parking users, were interviewed to assess the proposed parking system. According to the report, most people prefer to have no time constraints and to choose their parking locations.