A tool for qualitative and quantitative model checking of biological regulatory networks.
##Introduction
GenNet is a Java based model checking and analysis tool that facilitate the model checking user by providing a unique GUI layout for both qualitative and quantitative modeling of GRNs. It provides all the features of GenoTech, SMBioNet and HyTech model checking tools. Furthermore, GenNet provides many additional features i.e. unique graphical user interface, automatic parameter filtering and listing, custom state graphs and hybrid models etc. GenNet also assists the modeling users by providing a GUI CTL editor, and input/output and results files management.
##Features
- Qualitative Modeling
- Quantitative Modeling
- GRN Creation and Loading
- CTL Verification
- K-Parameters Generation
- State Graph
- Cyclic States
- Steady States
- Paths and Neighbour States
- Hybrid Modeling
- Time Delays
- Path Constraints
- Invariant Kernal
- Complete GUI Based Results
- No Manual Effort
- Fast and Efficient Results
##Installation & Download
Latest Version: 2.1 12-12-2015
Disclaimer: GenNet is still in its early development stages. We apologize for any bugs, but can not assume any responsibility for the correctness of the results or any damages caused.
You can find complete instructions about GenNet download and install at http://asanian.com/gennet OR http://asanian.github.io/GenNet/
For any further query and help please mail author Syed Sabah-ud-din Gilnai at leepianz@gmail.com or call at (+92) 344 594 0198.