PATHWAY MODELS IN THE PI-CALCULUS
Three major systems were modeled so far in the BioPSI Project:
Wnt-beta catenin pathway
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.