GUI for petri net coverability tree
Master thesis
Submitted version
Permanent lenke
http://hdl.handle.net/11250/2564371Utgivelsesdato
2018-06-13Metadata
Vis full innførselSamlinger
- Studentoppgaver (TN-IDE) [823]
Sammendrag
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.
Beskrivelse
Master's thesis in Computer science