@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",
address
=
"Limassol, Cypr",
publisher
=
"--",
pages
=
"1--1",
year
=
"2023",
}