collaborators

1 paper

cs.LO2026

Structural Liveness of Conservative Petri Nets

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,…