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.