The Stubborn Set Method in Practice. - Kimmo Varpaaniemi; Marko Rauhamaa (Application and Theory of Petri Nets, 1992)