@article{Wojnakowski:2024,
author
=
"M.Wojnakowski and R.Wiśniewski and M.Popławski",
title
=
"Bounded and place invariant-covered Petri nets for cyber-physical systems specification",
journal
=
"AIP Conference Proceedings : International Conference of Computational Methods in Sciences and Engineering ICCMSE 2022",
volume
=
"Vol. 3030",
number
=
"iss. 1, no. 060001",
pages
=
"1--4",
year
=
"2024",
}