1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2025
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,…
cs.LO2024
A concise proof of Commoner's theorem
Petr Jancar
The textbook proofs of Commoner's theorem characterizing liveness in free-choice Petri nets are given in contexts of technical notions and claims that make the proofs look a bit lo…
cs.LO2022★ 1 cited
On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
Petr Jančar, Jérôme Leroux
A set of configurations is a home-space for a set of configurations of aPetri net if every configuration reachable from (any configuration in) can reach (some configura…