dc.contributor.advisor | Davidrajuh, Reggie | |
dc.contributor.author | Wathne, Ronny | |
dc.date.accessioned | 2018-09-25T11:44:30Z | |
dc.date.available | 2018-09-25T11:44:30Z | |
dc.date.issued | 2018-06-13 | |
dc.identifier.uri | http://hdl.handle.net/11250/2564371 | |
dc.description | Master's thesis in Computer science | nb_NO |
dc.description.abstract | Petri nets are a long time established modeling concept for modelling and simulation of discrete-event systems. This thesis concerns the development of tools to perform analysis of Petri nets that contains places that are unbounded. The tools are coded in MATLAB, and produces graphical representations of reachability/coverability trees, as well as providing an interactable interface to make changes to how the generation is done. | nb_NO |
dc.language.iso | eng | nb_NO |
dc.publisher | University of Stavanger, Norway | nb_NO |
dc.relation.ispartofseries | Masteroppgave/UIS-TN-IDE/2018; | |
dc.rights | Navngivelse 4.0 Internasjonal | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/deed.no | * |
dc.subject | informasjonsteknologi | nb_NO |
dc.subject | datateknikk | nb_NO |
dc.subject | Petri net | nb_NO |
dc.subject | MATLAB | nb_NO |
dc.title | GUI for petri net coverability tree | nb_NO |
dc.type | Master thesis | nb_NO |
dc.description.version | submittedVersion | nb_NO |
dc.subject.nsi | VDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550::Datateknologi: 551 | nb_NO |
dc.source.pagenumber | 62 | nb_NO |