The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets.

Petr Jancar, Jrme Leroux

Browse the full CONCUR paper archive.