I detta arbete introducerar vi Bio-PEPA, en processalgebra för modellering och analys av biokemiska nätverk. Det är en ändring av PEPA för att hantera vissa egenskaper hos biologiska modeller, såsom stoichiometri och användning av generiska kinetiska lagar. Bio-PEPA kan ses som en intermediär, formell, sammansättningsrepresentation av biologiska system, där olika typer av analyser kan utföras. Slutligen visar vi en representation av en modell, om ett enkelt genetiskt nätverk, på det nya språket.
Bio-PEPA REF är en tidsinställd processalgebra avsedd för beskrivning av biologiska fenomen och deras analys genom kvantitativa metoder som stokastisk simulering och probabilistisk modellkontroll.
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}