GUI for petri net coverability tree

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

Studentoppgaver (TN-IDE) [823]
Studentoppgaver i informasjonsteknologi, datateknikk / kybernetikk, signalbehandling

Med mindre annet er angitt, så er denne innførselen lisensiert som Navngivelse 4.0 Internasjonal