TY  - JOUR
AU  - Wojnakowski, Marcin
AU  - Wiśniewski, Remigiusz
AU  - Bazydło, Grzegorz
AU  - Popławski, Mateusz
TI  - Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
JO  - International Journal of Applied Mathematics and Computer Science
PY  - 2021
SP  - 647
EP  - 657
VL  - 31
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IJAMCS_2021_31_4_a8/
LA  - en
ID  - IJAMCS_2021_31_4_a8
ER  -