BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets.

Tomohiro Yoneda Hideyuki Hatori Atsushi Takahara Shin-ichi Minato

Published in: FMCAD (1996)

Keyphrases

binary decision diagrams
symbolic model checking
petri net
boolean functions
model checking
planning problems
service composition
fuzzy petri net
concurrent systems
colored petri nets
temporal logic
model checker
temporal constraints
knowledge compilation
artificial intelligence
state space
web services