Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets
Bibliography: leaves 113-117.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
Department of Computer Science
2015
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613256535769088 |
|---|---|
| access_status_str | Open Access |
| author | Kabutz, Heinz Max |
| author2 | Kritzinger, Pieter S |
| author_browse | Kabutz, Heinz Max Kritzinger, Pieter S |
| author_facet | Kritzinger, Pieter S Kabutz, Heinz Max |
| author_sort | Kabutz, Heinz Max |
| collection | Thesis |
| description | Bibliography: leaves 113-117. |
| format | Thesis |
| id | oai:open.uct.ac.za:11427/13524 |
| institution | University of Cape Town (South Africa) |
| language | eng |
| last_indexed | 2026-06-10T12:33:15.376Z |
| license_str | Not specified — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from UCTD — University of Cape Town Open Access Repository |
| publishDate | 2015 |
| publishDateRange | 2015 |
| publishDateSort | 2015 |
| publisher | Department of Computer Science |
| publisherStr | Department of Computer Science |
| record_format | dspace |
| source_str | UCTD — University of Cape Town Open Access Repository |
| spelling | oai:open.uct.ac.za:11427/13524 Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets Kabutz, Heinz Max Kritzinger, Pieter S Computer Science Bibliography: leaves 113-117. In this thesis, the performance analysis of SDL with a new type of stochastic Petri net is described. This new net is called SDL-net. The Concurrent Communicating System is described, and the need for qualitative and quantitative analysis of such systems is motivated. Formal methods are demonstrated which can be used to represent such Concurrent Communicating Systems. The Specification and Description Language (SDL) is shown in the context of Concurrent Communicating Systems and the software development cycle is described for SDL systems. Correctness and performance of SDL are discussed and it is shown how the semantics of time for performance can be introduced into SDL by adding external information, by extending the SDL syntax or by using compiler directives. In this thesis only external information is added. 2015-07-14T09:03:15Z 2015-07-14T09:03:15Z 1997 Doctoral Thesis Doctoral PhD http://hdl.handle.net/11427/13524 eng application/pdf Department of Computer Science Faculty of Science University of Cape Town |
| spellingShingle | Computer Science Kabutz, Heinz Max Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets |
| thesis_degree_str | Doctoral |
| title | Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets |
| title_full | Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets |
| title_fullStr | Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets |
| title_full_unstemmed | Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets |
| title_short | Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets |
| title_sort | analytical performance evaluation of concurrent communicating systems using sld and stochastic petri nets |
| topic | Computer Science |
| url | http://hdl.handle.net/11427/13524 |
| work_keys_str_mv | AT kabutzheinzmax analyticalperformanceevaluationofconcurrentcommunicatingsystemsusingsldandstochasticpetrinets |