@article{Wojnakowski:2025,
author
=
"M.Wojnakowski and M.Maliński and R.Wiśniewski and A.Obuchowicz and Z.Li and D.Konarczak",
title
=
"A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System",
journal
=
"Applied Sciences (Switzerland)",
volume
=
"Vol. 15",
number
=
"iss. 2, art. 680",
pages
=
"1--20",
year
=
"2025",
}