Telecharger Cours

Saturation Heuristic for Faster Bisimulation with Petri Nets

We attempt to take the union of all children of the input MDD in a manner ... ?E(a, 1) for all a, (put all states it the only class (1) of the partion). 2 ...



Download