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]

Authors

Mohamed Faouzi Atig

This author has not been identified. Look up 'Mohamed Faouzi Atig' in Google

Roland Meyer

This author has not been identified. Look up 'Roland Meyer' in Google

Sebastian Muskalla

This author has not been identified. Look up 'Sebastian Muskalla' in Google

Prakash Saivasan

This author has not been identified. Look up 'Prakash Saivasan' in Google