Arne הוא שימושי, קל לשימוש ביישום תוכנן במיוחד כדי להציע לך כלי גרפי כדי לעזור לך מודל ולנתח רשתות רגולטוריות ביולוגיות. הוא משתמש MCRL2 מודל בודק Suite כמו Back-end והוא לבנות באמצעות פלטפורמת ליקוי ליקוי עשיר. אז, אם היית מחפש כלי כדי לעזור לך ליצור רשתות ביולוגיות, לקחת את ארן עבור ספין לבדוק אם היכולות שלה יכול לספק את הצרכים שלך. תכונות עיקריות: עריכה גרפית של רשתות רגולטוריות בדידים, כולל אפקט לטווח קצר הדור האוטומטי של פונקציות ההפעלה, מנווט באמצעות אילוצים מונוטונייטי, נוסחאות MU-Calculus מודאלית, שוויוניות bisimulation, ואילוצים multi-stationality / homeostasy הצגת התנהגות הרשת באמצעות כלי MCRL2 LTSGRAPH
softwaresea.com מספק את מרכז הורדת התוכנה החינמית הירוק העדכני ביותר בבית ובחול, כולל תוכנות מחשב, אפליקציית אפל, אפליקציית אנדרואיד ועוד הורדות חינמיות של תוכנות ניידות למחשב. אם אתה רוצה ללמוד עוד על תוכנה חופשית ירוקה, הורד אותה ב-softwaresea.com!