Applying bisimulation and invariants to alternate pathways in a - - PowerPoint PPT Presentation

▶

Feb 17, 2023 117 likes •159 views

Alternate pathways Bio-PEPA Weak g -bisimilarity Application Conclusions Applying bisimulation and invariants to alternate pathways in a signalling cascade Vashti Galpin LFCS, School of Informatics, University of Edinburgh 20 September 2011

SLIDE 1

Alternate pathways Bio-PEPA Weak g-bisimilarity Application Conclusions

Applying bisimulation and invariants to alternate pathways in a signalling cascade

Vashti Galpin LFCS, School of Informatics, University of Edinburgh 20 September 2011

Vashti Galpin Applying bisimulation and invariants to alternate pathways PASTA 2011

SLIDE 2

Alternate pathways Bio-PEPA Weak g-bisimilarity Application Conclusions

Outline

Alternate pathways Bio-PEPA Weak g-bisimilarity Application Conclusions

Vashti Galpin Applying bisimulation and invariants to alternate pathways PASTA 2011

SLIDE 3

Alternate pathways Bio-PEPA Weak g-bisimilarity Application Conclusions

Example: MAPK cascade activated by EGF receptors

B. Schoeberl, C. Eichler-Jonsson, E.D. Gilles, G. M¨

uller, Nature Biotechnology, 2002

Vashti Galpin Applying bisimulation and invariants to alternate pathways PASTA 2011