OpenAlex
On the Computation of the Minimal Coverability Set of Petri Nets
Work