A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System.

Marcin Wojnakowski, Remigiusz Wisniewski, Mateusz Poplawski

Browse the full EuroPar paper archive.