@InProceedings{Wiśniewski:2023,
author
=
"R.Wiśniewski and J.Patalas-Maliszewska and M.Wojnakowski and M.Topczak and M.Zhou",
title
=
"Fast Verification of Petri Net-based Model of Industrial Decision-making Systems: A Case Study",
booktitle
=
"IEEE International Conference on Systems, Man, and Cybernetics - IEEE SMC 2023",
address
=
"Honolulu, USA",
publisher
=
"New York IEEE Xplore ",
pages
=
"3316--3322",
year
=
"2023",
}