The Pathway Logic Assistant (PLA) is now released under the GNU Public License.
We support Linux and Mac OS X platforms as the required programs run on these. If you are using a platform not supported, you can try out Online PLA with the sample models supplied on our site.
You need to have installed IOP, Maude, and Dot to run PLA on your machine. Refer to the Install page to learn about installing the prerequisite software programs.
We currently provide one small Pathway Logic model as part of the download: TinyKB.
It can be downloaded separately for perusal: TinyKB.zip.
An slighly more elaborate model than TinyKB, SmallKB, can also be downloaded separately and added: SmallKB.zip.
Model explaining SKMEL133 cell response to treatment by various drugs: SKMEL133.zip.
A comprehensive and large model of cell stimuli, STM7, can also be downloaded separately and added: STM7.zip.
A Network model of Gram+ Bacterial Proteases can also be downloaded separately and added: Protease.zip.
A model of Mycobacterial Mycolic Acid Biosynthesis can be downloaded separately and added: Mycolate.zip.
A model of Glyocsylation can be downloaded separately and added: GlycoSTM.zip.
The Macrophage model can be downloaded separately and added: VMac.zip.
The STM8 models: STM8.zip.