Methods for estimating state-space size of Petri nets.

James F. Watson III, Alan A. Desrochers

Browse the full ICRA paper archive.