Stubborn sets for reduced state space generation (1989)

by Antti Valmari
Venue:In Applications and Theory of Petri Nets