@article{Popławski:2024,
author
=
"M.Popławski and M.Wojnakowski and R.Wiśniewski and G.Bazydło",
title
=
"Initial verification of liveness property in the control part of cyber-physical systems modelled by Petri nets",
journal
=
"AIP Conference Proceedings : International Conference of Computational Methods in Sciences and Engineering ICCMSE 2022",
volume
=
"Vol. 3030",
number
=
"iss. 1, no. 060002",
pages
=
"1--5",
year
=
"2024",
}