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.
Multi-Tier Parking Management System for Commercial and Residential Places Using Timed Colored Petri Nets (TCPN) with Inhibitor Arcs
Sustain. Civil Infrastruct.
International Conference on Innovative Discoveries and Emerging Advancements in Applied Sciences ; 2024 ; Jenjarom, Malaysia April 18, 2024 - April 20, 2024
2025-06-08
13 pages
Article/Chapter (Book)
Electronic Resource
English
Fault Section Estimation of Power System Using Colored and Timed Petri Nets
Online Contents | 1995
|Modeling the Design Process of Product Variants With Timed Colored Petri Nets
Online Contents | 2009
|On Liveness of Subclasses of Petri Nets with Permission or Inhibitor Arcs
British Library Online Contents | 1995
|A Train Rescheduling System Using Timed Coloured Petri Nets
Springer Verlag | 2020
|