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.