Coverability Synthesis in Parametric Petri Nets

Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux. Coverability Synthesis in Parametric Petri Nets. In Roland Meyer, Uwe Nestmann, editors, 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. Volume 85 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.