Linear Time Algorithms for Liveness and Boundedness in Conflict-free Petri Nets.

Paola Alimonti, Esteban Feuerstein, Umberto Nanni

Browse the full LATIN paper archive.