@article{Wiśniewski:2023,
author
=
"R.Wiśniewski and M.Wojnakowski and Z.Li",
title
=
"Design and Verification of Petri Net-Based Cyber-Physical Systems Oriented Toward Implementation in Field Programmable Gate Arrays - a Case Study Example",
journal
=
"Energies",
volume
=
"Vol. 16",
number
=
"iss. 1",
pages
=
"1--19",
year
=
"2023",
}