Tapaal. محرر مستقل مجاني ومحاكاة شبكات بتري توقيت
التحميل الان

Tapaal. الترتيب والملخص

Tapaal. العلامات

تعديل محرر محاكاة محرر بيتري صافي محاكاة بيتري صافي محاكاة بيتري صافي

Tapaal. وصف

محرر مستقل مجاني ومحاكاة شباك بتري توقيت TAPAAL هي أداة مفتوحة المصدر للنمذجة والمحاكاة والتحقق من شباك بتري توقيت تم تطويرها في قسم علوم الكمبيوتر في جامعة ألبورج في الدنمارك. تمديد وقت بتري الصافي الكلاسيكي (أ) نموذج رسومي يستخدم عادة للحسابات الموزعة المقدمة من كارل آدم بتري في تحصيه عام 1962). يتيح امتداد الوقت الذي نعتبره معالجة صريحة للعلاج في الوقت الفعلي، المرتبط بالرموز الرموز في الشبكة (كل رمزي له سنه) وسمس المسمى الأقواس من أماكن التحولات عن طريق الفواصل الزمنية التي تقيد عصر الرموز التي يمكن أن تستخدم من أجل إطلاق الانتقال المعني. في أداة Tapaal، يتم تمديد Fureter لتمديد هذا النموذج مع الثباتات في الأماكن ومع أقواس النقل (التي تعتبر أكثر تعبيرا من على سبيل المثال تعتبر سابقا للقراءة). تقدم أدوات Tapaal محاكاة لتجربة الشبكات المصممة، محرر رسومي لرسم نماذج TAPN، وبيئة التحقق التي تسمح بالإجابة على الاستفسارات المنطقية في مجموعة فرعية من منطق CTL (أساسا، AF، EF، AG Formulas Witapaal تسمح أيضا بتحقق تلقائيا ما إذا كانت شبكة معينة محددة لرقم رقم معين . خوارزمية التحقق تترجم استعلامات Tapaal إلى UPPAAL وتعتمد على المحرك APPPAAL. فيما يلي بعض الملامح الرئيسية "Tapaal": واجهة المستخدم الرسومية الرسومية لرسم شبكات بتري توقيت موقد محاكاة وحدة ترجمة للتحقق من الاستفسارات المنطقية

Tapaal. برامج ذات صلة