The Complexity of Coverability in ν-Petri Nets.

Ranko Lazic, Sylvain Schmitz

Browse the full LICS paper archive.