On the Upward/Downward Closures of Petri Nets

Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan. On the Upward/Downward Closures of Petri Nets. In Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin, editors, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark. Volume 83 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.