A Lazy Query Scheme for Reachability Analysis in Petri Nets

von Jezequel, Loig
Veröffentlicht in PETRI NETS (42. : 2021 : Online) Application and Theory of Petri Nets and Concurrency (2021)

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs

von Sérée, Bastien
Veröffentlicht in LATA (15. : 2021 : Mailand) Language and automata theory and applications (2021)