The Process Hitting is a recently introduced formalism suited for modelling qualitative dynamics of biological networks. It is a special class of Asynchronous Automata Networks.
gPH is a graphical interface for editing Process Hitting models.
Pint implements the language, simulation, formal analysis, and translation of Process Hitting models.
- qt5
- boost
- graphviz
In ubuntu/debian, you can install these dependencies with
sudo apt install qt-sdk libgraphviz-dev libboost-filesystem-dev libboost-system-dev
- phc, from Pint is required to open files
- other binaries from pint also have to be in the PATH in order for their functionnalities to be available in gPH