PATHWAY MODELS IN THE PI-CALCULUS
Three
major systems were modeled so far in the BioPSI Project:
RTK-MAPK
signal transduction pathway –clickable
map and complete code are
available
Wnt-beta catenin pathway
The
circadian clock – clickable
map and complete code are available
These
complex pathways illustrate the power of the calculus and our principles in
incrementally modeling large and complex pathways, at different levels of
resolution. PSI code is available for RTK-MAPK
and the circadian clock either for
download or by clickable maps.
Additional examples can be found in the BioSPI
course.