Browsing Master theses by Author "Garvik, Andreas"
Now showing items 1-1 of 1
-
A Compiler and Runtime Environment for Execution of Coloured Petri Net Models
Garvik, Andreas (Master thesis, 2022-06-01)Reliance on software systems is ever increasing in our world. Alongside the application of concurrent software systems that embody communication, syn- chronization and resource sharing. Many problems in software engineering ...