Procrustes was developed as an accessible pattern-based property editor. The software allows you to translate patterns into a temporal logic formula (currently CTL, CTRL and mu-calculus are supported).
Procrustes is a tool that comes with two modules, a GUI and a pattern translator API.
Models of the dynamics of cellular interaction networks have become increasingly large in recent years. The study of these models by analysis and simulation tools generates a large number of predictions of the possible dynamical behaviors of the system.