• Procrustes的开发作为一个无障碍模式的基于性编辑。 该软件允许你翻译的模式到一个时间的逻辑式(目前的CTL，CTRL和mu-微积分是支持)。

    Procrustes是一个工具，带有两个模块，GUI和模式翻译。

    模型的动态相互作用蜂窝网络已成为越来越大，在最近几年。 研究这些模型分析和模拟的工具，产生大量的预测可能的动态的行为的系统。

  • Procrustes विकसित किया गया था के रूप में एक सुलभ पैटर्न आधारित संपत्ति संपादक है । सॉफ्टवेयर अनुवाद करने की अनुमति देता पैटर्न में एक लौकिक तर्क सूत्र (वर्तमान में CTL, CTRL और म्यू-पथरी का समर्थन कर रहे हैं).

    Procrustes है कि एक उपकरण के साथ आता है दो मॉड्यूल, एक जीयूआई और एक पैटर्न के अनुवादक एपीआई.

    के मॉडल की गतिशीलता और सेलुलर बातचीत नेटवर्क का तेजी से बड़ी हो हाल के वर्षों में. अध्ययन के इन मॉडलों के द्वारा विश्लेषण और सिमुलेशन उपकरण उत्पन्न करता है, की एक बड़ी संख्या की भविष्यवाणी संभव dynamical व्यवहार की व्यवस्था की है ।

  • 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.