A Bottom-Up Algorithm for State-Space Size Estimation of Petri Nets.

James F. Watson Alan A. Desrochers A Bottom-Up Algorithm for State-Space Size Estimation of Petri Nets. 592-597 1993 conf/icra/1993 ICRA (1) db/conf/icra/icra1993-1.html#WatsonD93 http://dx.doi.org/10.1109/ROBOT.1993.292043