@InProceedings{Wojnakowski:2022,
author
=
"M.Wojnakowski and R.Wiśniewski and M.Popławski",
title
=
"Bounded and place invariant-covered Petri nets for cyber-physical systems specification",
booktitle
=
"International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2022",
address
=
"Heraklion, Grecja",
publisher
=
"-",
volume
=
"AIP Conference Procedings, VOL. 3030",
number
=
"iss. 1",
pages
=
"060001-1--4",
year
=
"2022",
note
=
"(ISSN 0094-243X)",
}