@InCollection{Wojnakowski:2021,
author
=
"M.Wojnakowski and R.Wiśniewski",
title
=
"Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems",
pages
=
"83--91",
year
=
"2021",
booktitle
=
"Technological Innovation for Applied AI Systems12th IFIP WG 5.5 / SOCOLNET Advanced Doctoral AI Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021 : conference proceedings ISBN: 978303078287",
editor
=
"ed. L. M. Camarinha-Matos, P. Ferreira, G. Brito",
publisher
=
"Springer International Publishing",
address
=
"Cham",
series
=
"IFIP Advances in Information and Communication Technology, 626",
}