Funktionen af celler i planter, dyr og mennesker, omsætningsprocesser i jord, luft og vand, medicins virkemåde, produktion af kemiske stoffer, samt analyse ved hjælp af massespektrometri: disse er alle eksempler på situationer, som involverer store og komplekse netværk af kemiske reaktioner. På grund af størrelsen og kompleksiteten er der et kraftigt behov for bedre computer-baserede metoder til at analysere sådanne netværk.
I dette projekt vil vi udvikle og kombinere teorien og algoritmerne bag to stærke beregningsmæssige platforme til sådanne analyser: MØD, som baserer sig på en formel metode kaldet graf-transformation, og Kappa, som baserer sig på såkaldt concurrency theory. De deler et fælles fundament i kategori-teori, men de har forskellige styrker: MØD har et højt detaljeniveau i modelleringen af molekyler og kemiske reaktioner, mens Kappa er udviklet til at studere reaktionsstier (pathways) i netværk.
Ved at udvikle og kombinere disse egenskaber vil man blive i stand til studere og beregne løsninger til flere typer spørgsmål end det er muligt nu, og på større netværk.
