@InProceedings{Popławski:2022,
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,",
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, 060002",
pages
=
"1--5",
year
=
"2022",
note
=
"(ISSN 0094-243X)",
}