@InProceedings{Popławski:2021,
author
=
"M.Popławski and M.Wojnakowski and G.Bazydło and R.Wiśniewski",
title
=
"Reachability Tree in Liveness Analysis of Petri Net-based Cyber-Physical Systems",
booktitle
=
"International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021",
address
=
"Heraklion, Grecja",
publisher
=
"Melville, New York AIP Publishing ",
volume
=
"AIP Conference Proceedings, Vol. 2611, iss.1",
pages
=
"0700071--0700074",
year
=
"2021",
}