Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userالهدف الرئيسي هو تقديم تمثيل جبري لشبكات بتري وتحديد جبر بتري وفئة بتري لمحاكاة حركة الكائنات جبرياً والتعرف على سلوكها العام في الشبكة عند إطلاق الانتقالات.
فئة بتري تتألف من صفين: صف الأشياء الذي يشمل قيم الحالات القابلة للوصول لشبكة بتري، وصف المورفيزمات الذي يشمل أسهم الوصول من حالة إلى أخرى في الشبكة.
المبرهنة الرئيسية توضح كيفية الاستفادة من الخواص الجبرية لمحاكاة شبكات بتري جبرياً وتحديد النتائج التي سنحصل عليها بعد إطلاق سلسلة من انتقالات الشبكة.
قد يجد القراء غير المتخصصين صعوبة في متابعة التفاصيل الرياضية الدقيقة والتعريفات المعقدة، كما أن العرض قد يكون بحاجة إلى مزيد من التبسيط والتوضيح.