An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets. - Robert Brgan; Denis Poitrenaud (Application and Theory of Petri Nets, 1995)