%0 Journal Article
%A Wojnakowski, Marcin
%A Wiśniewski, Remigiusz
%A Bazydło, Grzegorz
%A Popławski, Mateusz
%T Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
%J International Journal of Applied Mathematics and Computer Science
%D 2021
%P 647-657
%V 31
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2021_31_4_a8/
%G en
%F IJAMCS_2021_31_4_a8