@InCollection{Wojnakowski:2022,
author
=
"M.Wojnakowski and M.Popławski and R.Wiśniewski and G.Bazydło",
title
=
"Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems",
pages
=
"74--82",
year
=
"2022",
booktitle
=
"Technological Innovation for Digitalization and Virtualization13th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2022 ISBN: 9783031075209",
editor
=
"ed.L. M. Camarinha-Matos",
publisher
=
"Springer Nature Switzerland",
address
=
"Cham",
series
=
"IFIP Advances in Information and Communication Technology, 649",
}