On the Efficient Computation of the Minimal Coverability Set for Petri Nets.

Gilles Geeraerts, Jean-Franois Raskin, Laurent Van Begin

Browse the full ATVA paper archive.