@article{Wojnakowski:2021,
author
=
"M.Wojnakowski and R.Wiśniewski and G.Bazydło and M.Popławski",
title
=
"Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems",
journal
=
"International Journal of Applied Mathematics and Computer Science",
volume
=
"Vol. 31",
number
=
"no.4",
pages
=
"647--657",
year
=
"2021",
}