GUI for petri net coverability tree
Master thesis
Submitted version
Date
2018-06-13Metadata
Show full item recordCollections
- Studentoppgaver (TN-IDE) [823]
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.
Description
Master's thesis in Computer science