Text this: A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System