Blar i Master theses på forfatter "Garvik, Andreas"
-
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 ...