BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets. - Tomohiro Yoneda; Hideyuki Hatori; Atsushi Takahara; Shin-ichi Minato (FMCAD, 1996)