Search
Now showing items 1-1 of 1
Symbolic techniques for the performance analysis of generalised stochastic petri nets
(2001)
Binary Decision Diagrams (BDDs) have been successfully used in sequential circuit theory, VLSI, and model checking. They form a highly memory efficient canonical representation of a Boolean function. In this dissertation, ...