An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets

Robert Brgan, Denis Poitrenaud. An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets. In Giorgio De Michelis, Michel Diaz, editors, Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings. Volume 935 of Lecture Notes in Computer Science, pages 121-140, Springer, 1995.

Bibliographies