@InCollection{Popławski:2023,
author
=
"M.Popławski and R.Wiśniewski and G.Bazydło and M.Maliński",
title
=
"Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net",
pages
=
"205--215",
year
=
"2023",
booktitle
=
"Technological Innovation for Connected Cyber Physical Spaces14th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2023 ISBN: 9783031360060",
editor
=
"eds. L. M. Camarinha-Matos, F. Ferrada",
publisher
=
"Springer Nature Switzerland",
address
=
"Cham",
series
=
"IFIP Advances in Information and Communication Technology, 678",
}