A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System. - Wojnakowski, Marcin; Maliński, Maxim; Wiśniewski, Remigiusz; Obuchowicz, Andrzej; Li, Zhiwu; Konarczak, Dawid (Applied Sciences (2076-3417), 2025)