Coverability Synthesis in Parametric Petri Nets.

Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux

Browse the full CONCUR paper archive.