Structural Liveness of Immediate Observation Petri Nets

12/31/2021

∙

by   Jiri Valusek, et al.

∙

0

∙

share

We show that the structural liveness problem for immediate observation nets (introduced by Esparza et al., 2019) is PSPACE-complete.