Symbolic techniques for the performance analysis of generalised stochastic petri nets
dc.contributor.advisor | Kritzinger, Pieter S | en_ZA |
dc.contributor.author | Davies, Ian | en_ZA |
dc.date.accessioned | 2014-08-13T19:28:41Z | |
dc.date.available | 2014-08-13T19:28:41Z | |
dc.date.issued | 2001 | en_ZA |
dc.description | Includes abstract Thesis (M.Sc. (Computer Science))-- University of Cape Town, 2001. | en_ZA |
dc.description | Includes bibliographical references. | en_ZA |
dc.description.abstract | 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, following on the success of BDDs in other fields, we investiage the applicability of symbolic techniques in the performance analysis of timed transition systems, particularly those of Generalised Stochastic Petri Nets (GSPNs). We make use of symbolic methods, where states are represented implicitly rather than explicitly, primarily to conserve memory during the state space exploration process - a necessary step in the performance analysis pipeline. We have investigated the use of BDDs in two different ways. The first, our own novel technique, allows the user to effectively place an upper bound on the amount of memory to use during state space exploration. The second makes use of transition to find the successor states at each level of the state graph. Both of these techniques rely on a novel and efficient GSPN to BDD encoding function that we have derived. | en_ZA |
dc.identifier.apacitation | Davies, I. (2001). <i>Symbolic techniques for the performance analysis of generalised stochastic petri nets</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/6389 | en_ZA |
dc.identifier.chicagocitation | Davies, Ian. <i>"Symbolic techniques for the performance analysis of generalised stochastic petri nets."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Computer Science, 2001. http://hdl.handle.net/11427/6389 | en_ZA |
dc.identifier.citation | Davies, I. 2001. Symbolic techniques for the performance analysis of generalised stochastic petri nets. University of Cape Town. | en_ZA |
dc.identifier.ris | TY - Thesis / Dissertation AU - Davies, Ian AB - 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, following on the success of BDDs in other fields, we investiage the applicability of symbolic techniques in the performance analysis of timed transition systems, particularly those of Generalised Stochastic Petri Nets (GSPNs). We make use of symbolic methods, where states are represented implicitly rather than explicitly, primarily to conserve memory during the state space exploration process - a necessary step in the performance analysis pipeline. We have investigated the use of BDDs in two different ways. The first, our own novel technique, allows the user to effectively place an upper bound on the amount of memory to use during state space exploration. The second makes use of transition to find the successor states at each level of the state graph. Both of these techniques rely on a novel and efficient GSPN to BDD encoding function that we have derived. DA - 2001 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 2001 T1 - Symbolic techniques for the performance analysis of generalised stochastic petri nets TI - Symbolic techniques for the performance analysis of generalised stochastic petri nets UR - http://hdl.handle.net/11427/6389 ER - | en_ZA |
dc.identifier.uri | http://hdl.handle.net/11427/6389 | |
dc.identifier.vancouvercitation | Davies I. Symbolic techniques for the performance analysis of generalised stochastic petri nets. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Computer Science, 2001 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/6389 | en_ZA |
dc.language.iso | eng | en_ZA |
dc.publisher.department | Department of Computer Science | en_ZA |
dc.publisher.faculty | Faculty of Science | en_ZA |
dc.publisher.institution | University of Cape Town | |
dc.title | Symbolic techniques for the performance analysis of generalised stochastic petri nets | en_ZA |
dc.type | Master Thesis | |
dc.type.qualificationlevel | Masters | |
dc.type.qualificationname | MSc | en_ZA |
uct.type.filetype | Text | |
uct.type.filetype | Image | |
uct.type.publication | Research | en_ZA |
uct.type.resource | Thesis | en_ZA |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- thesis_sci_2001_davies_i.pdf
- Size:
- 5.72 MB
- Format:
- Adobe Portable Document Format
- Description: