Petri Net-Based Smart Parking Information System

In this paper, we propose a Petri Net digital twin solution for smart parking information system to track the occupancy of a parking space while respecting the privacy of the drivers. An edge computing device is deployed to process camera images, and a Petri Net model is generated from the event logs and tracks the occupancy of the parking structure. This type of solution can be enhanced to any desirable level of accuracy. The paper provides preliminary analytics for the parking dynamics in a period of three months. This analysis clearly demonstrates the tangible benefits of the parking information system.