@article{Wiśniewski:2019,
author
=
"R.Wiśniewski and G.Bazydło and P.Szcześniak and I.Grobelna and M.Wojnakowski",
title
=
"Design and Verification of Cyber-Physical Systems Specified by Petri Nets-A Case Study of a Direct Matrix Converter",
journal
=
"Mathematics",
volume
=
"Vol. 7",
pages
=
"1--24",
year
=
"2019",
}