1 paper
Petr Jančar, Jérôme Leroux, Jiří Valůšek
We show that the EXPSPACE-hardness result for structural liveness of Petri nets [Jancar and Purser, 2019] holds even for a simple subclass of conservative nets. As our main result,…