Arne هو تطبيق مفيد وسهل الاستخدام مصمم خصيصا لتقديم أداة رسومية لمساعدتك في الحصول على نموذج وتحليل الشبكات التنظيمية البيولوجية. يستخدم Suite Suite MCRL2 Model Checker كضع حدوث خلفي وهو يبني باستخدام منصة العميل الغنية Eclipse. لذلك، إذا كنت تبحث عن أداة لمساعدتك في إنشاء شبكات بيولوجية، فتناول آرن لتدويرها وتحقق مما إذا كانت قدراتها تلبي احتياجاتك. الخصائص الرئيسية: التحرير الرسومي للشبكات التنظيمية المنفصلة، بما في ذلك تأثير قصير الأجل توليد تلقائي من وظائف التنشيط، التي تم توجيهها باستخدام قيود رتابة، وصيغ MU-Calculus Modal، ومعادلة الاختلاق، وقيود متعددة الخطوات / تسهيلية عرض سلوك الشبكة باستخدام أداة MCRL2 Ltsgraph
يوفر موقع softwaresea.com أحدث مركز تنزيل مجاني للبرامج الخضراء في الداخل والخارج ، بما في ذلك برامج الكمبيوتر وتطبيق Apple وتطبيق Android وتنزيلات برامج الكمبيوتر المحمولة المجانية الأخرى. إذا كنت تريد معرفة المزيد عن البرامج المجانية الخضراء ، فقم بتنزيلها في softwaresea.com!