![](bg9.png)
key challenges for guiding a vehicle to an available
parking spot, in the presence of multiple vehicles,
is projecting which parking spot will be available
simultaneously while providing the guidance to that
spot. One of the additional advantages of using PN
is that PN formalism offers analytics and simulation
techniques to efficiently deal with these types of
problems. Additionally, when a guidance service is
available, the digital twin may communicate directly
with connected vehicles in order to support the
coordination of autonomous valley parking.
REFERENCES
Aalst, W. V. D. (2016). Process Mining. Springer.
Almeida, P., Soares de Oliveira, L., Jr, A., Jr, E., and
Koerich, A. (2015). Pklot - a robust dataset for parking
lot classification. Expert Systems with Applications,
42.
Cai, B. Y., Alvarez, R., Sit, M., Duarte, F., and Ratti,
C. (2019). Deep learning-based video system for
accurate and real-time parking measurement. IEEE
Internet of Things Journal, 6(5):7693–7701.
Dongen, van, B., Alves De Medeiros, A., Wen, L.,
Jensen, K., and Aalst, van der, W. (2009). Process
mining: overview and outlook of Petri net discovery
algorithms, page 225–242. Springer.
Gholamnejad Davani, S. and Sarhan, N. J. (2017).
Experimental analysis of bandwidth allocation in
automated video surveillance systems. In Proceedings
of the 25th ACM International Conference on
Multimedia, MM ’17, page 1457–1464, New York,
NY, USA. Association for Computing Machinery.
Giua, A. and Silva, M. (2018). Petri nets and automatic
control: A historical perspective. Annual Reviews in
Control, 45:223–239.
Gusikhin, O., Lewis, D., and Miteff, J. (1996). Integration
of plant floor information for scheduling and control.
SAE Techical Paper Series.
Gusikhin, O., Shah, A., Makke, O., Smirnov, A., and
Shilov, N. (2018). Dynamic cloud-based vehicle
apps - information logistics in disaster response. In
VEHITS, pages 626–635.
Huang, C. and Wang, S. (2010). A hierarchical
bayesian generation framework for vacant parking
space detection. IEEE Transactions on Circuits and
Systems for Video Technology, 20(12):1770–1785.
Lin, T., Rivano, H., and Le Mou
¨
el, F. (2017). A
survey of smart parking solutions. IEEE Transactions
on Intelligent Transportation Systems, 18(12):3229–
3253.
Lourenco, J. and Gomes, L. (2008). Animated graphical
user interface generator framework for input-output
place-transition petri net models. In van Hee, K. M.
and Valk, R., editors, Applications and Theory of Petri
Nets, pages 409–418, Berlin, Heidelberg. Springer
Berlin Heidelberg.
Ma, Z., Li, Z., and Giua, A. (2020). Marking estimation in
a class of time labelled petri nets. IEEE Transactions
on Automatic Control, 65(2):493–506.
M
`
armol, E. and Sevillano, X. (2016). Quickspot: a
video analytics solution for on-street vacant parking
spot detection. Multimedia Tools and Applications,
75(24):17711–17743.
NRCan (2015). 2019 fuel consumption guide. https:
//www.nrcan.gc.ca/energy/efficiency/communities-
infrastructure/transportation/idling/4459 Accessed.
2019-12-15.
NRCan (2019). 2019 fuel consumption guide.
https://www.nrcan.gc.ca/sites/www.nrcan.gc.
ca/files/oee/pdf/transportation/tools/fuelratings/
2019FuelConsumptionGuide.pdf Accessed. 2019-12-
15.
NVIDIA (2019). Nvidia deepstream. https://developer.
nvidia.com/deepstream-sdk Accessed. 2019-12-15.
PNML (2019). Petri net modeling language. http://www.
pnml.org/ Accessed. 2019-12-15.
Rozenberg, G. and Engelfriet, J. (1998). Elementary net
systems, pages 12–121. Springer Berlin Heidelberg,
Berlin, Heidelberg.
Ru, Y. and Hadjicostis, C. N. (8/2010). Sensor selection
for structural observability in discrete event systems
modeled by petri nets. IEEE Transactions on
Automatic Control, 55(8):1751–1764.
Seymer, P., Wijesekera, D., and Kan, C.-D. (2019). Smart
parking zones using dual mode routed bluetooth
fogged meshes. In VEHITS, pages 211–222.
Sun, W., Stoop, E., and Washburn, S. S. (2018). Evaluation
of commercial truck parking detection for rest areas.
Transportation Research Record, 2672(9):141–151.
van der Aalst, W. M. P. and van Dongen, B. F. (2013).
Discovering petri nets from event logs. In Jensen,
K., van der Aalst, W. M. P., Balbo, G., Koutny, M.,
and Wolf, K., editors, Transactions on Petri Nets and
Other Models of Concurrency VII, pages 372–422,
Berlin, Heidelberg. Springer Berlin Heidelberg.
Yang, R., Li, B., and Cheng, C. (2014). A petri net-based
approach to service composition and monitoring in
the iot. In 2014 Asia-Pacific Services Computing
Conference, pages 16–22.
Yeung, J., Makke, O., Macneille, P., and Gusikhin, O.
(2017). Smartdevicelink as an open innovation
platform for connected car features and mobility
applications. SAE International Journal of Passenger
Cars - Electronic and Electrical Systems, 10.
Zhang, Y., Wang, W., Du, W., Qian, C., and Yang,
H. (2018). Coloured petri net-based active sensing
system of real-time and multi-source manufacturing
information for smart factory. The International
Journal of Advanced Manufacturing Technology,
94(9):3427–3439.
Petri Net-based Smart Parking Information System
393