Browsing Dept. of Computer Science by Author "Davies, Ian"
Now showing items 1-1 of 1
-
Symbolic techniques for the performance analysis of generalised stochastic petri nets
Davies, Ian (University of Cape TownFaculty of ScienceDepartment of Computer Science, 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, ...