Abstrakt. Beräkningsmodellering av komplexa biokemiska system har ökat i betydelse under de senaste åren som ett verktyg för att stödja biologiska studier. Följaktligen har flera formella språk nyligen föreslagits som modellering språk för biologi. Bland dessa har processalgebror visat sig kunna förse forskare med nya hypoteser om biokemiska systems beteende. Bio-PEPA är en processalgebra som nyligen definierats för modellering och analys av biokemiska system, vilket ger modellerare ett brett spektrum av analystekniker: modeller kan analyseras genom stokastisk simulering, modellkontroll och matematiska metoder baserade på vanliga differentialekvationer. I detta arbete använder vi Bio-PEPA för att modellera gp130/JAK/STAT signalbana, och vi använder både stokastisk simulering och modellkontroll för att analysera flera kvalitativa och kvantitativa aspekter av systemet.
I REF används denna metod för analys av gp130/JAK/STAT.
Qualitative and quantitative analysis of a bio-pepa model of the gp130/jak/stat signalling pathway
{'venue': 'Transactions on Computational Systems Biology XI', 'journal': None, 'mag_field_of_study': ['Computer Science']}