Skip to content

Commit 945f77f

Browse files
committed
Add a README
1 parent 9c81075 commit 945f77f

1 file changed

Lines changed: 17 additions & 0 deletions

File tree

README.md

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
# gPH
2+
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.
3+
4+
**gPH** is a graphical interface for editing Process Hitting models.
5+
6+
[Pint](https://github.com/pauleve/pint/) implements the language, simulation, formal analysis, and translation of Process Hitting models.
7+
8+
![screenshot gPH](http://loicpauleve.name/pint/images/gPH.png)
9+
10+
## Dependencies
11+
### Compile-time
12+
* qt5
13+
* boost
14+
* graphviz
15+
16+
### Run-time
17+
* phc, from [Pint](https://github.com/pauleve/pint/)

0 commit comments

Comments
 (0)