Blar i UiS Brage på forfatter "Wathne, Ronny"
-
GUI for petri net coverability tree
Wathne, Ronny (Masteroppgave/UIS-TN-IDE/2018;, Master thesis, 2018-06-13)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 ...