إلى الأبد

يترجم مخططات تسلسل UML إلى شبكات بتري
التحميل الان

إلى الأبد الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • GPL
  • اسم الناشر:
  • Everton Gualberto da Cunha
  • أنظمة التشغيل:
  • Mac OS X
  • حجم الملف:
  • 59 KB

إلى الأبد العلامات


إلى الأبد وصف

يترجم مخططات تسلسل UML إلى شبكات بتري إلى الأبد بيئة فريدة وبسيطة لترجمة مخططات تسلسل UML إلى شباك بتري وخصائص نظام CKECK مع SMV. تتلقى الأداة كمخططات تسلسل المدخلات من UML ويوفر شبكة Petri Net في ثلاثة تنسيقات مختلفة: يتم كتابة APNN و PNML و SMV.FOREVER في لغة برمجة Java ويمكن تشغيلها على Mac OS X و Windows و Linux. متطلبات: جاوة


إلى الأبد برامج ذات صلة

معلومات عنا