Petr Jancar: Deciding Structural Liveness of Petri Nets. SOFSEM 2017: 91-102