Publications

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