@InProceedings{Wojnakowski:2023,
author
=
"M.Wojnakowski and R.Wiśniewski and M.Popławski",
title
=
"A polynomial-time algorithm for detecting potentially unbounded places in a Petri net-based concurrent system",
booktitle
=
"29th International European Conference on Parallel and Distributed Computing - Euro-Par; ISBN: 9783031488030",
address
=
"Limassol, Cypr",
publisher
=
"Cham Springer Nature Switzerland ",
pages
=
"277--283",
editor
=
"eds. D. Zeinalipour [et al.]",
year
=
"2023",
note
=
"Lecture Notes in Computer Sience, Vol. 14352 part.II ; Euro-Par 2023: Parallel Processing Workshops",
}