كيف يعمل التحقق القائم على القواعد مع ناموس بتري وما هو هذا جيد؟

Question

وأشار لي صديق فقط إلى تطور جديد في علوم الكمبيوتر يسمى "التحقق القائم على القاعدة مع شبكات بتري". إنه ليس رجل كمبيوتر ولكن فنان، لذلك أتساءل عما إذا كان هذا حقا شيء رائع يجب أن أنظر إليه؟ عبر الهاتف أخبرني من قراءة وترجمة صحيفة باللغة الروسية، أن هذه التكنولوجيا الجديدة الفاخرة هي كل شيء حول الحصول على معماريات التعليمات البرمجية تلقائيا للأنظمة القائمة على القواعد بشكل مثالي. نوع من الذكاء الاصطناعي يساعدنا على الكود تماما؟ حسنا، أنا حقا لا أعرف، لم تدرس علوم الكمبيوتر.

أنا فضولي: ما هو بالضبط هذا كل شيء؟ وكيف يعمل؟ هل يمكنني استخدامه لإطاري؟

أعتقد أن "النظام القائم على القاعدة" هو كل شيء تقريبا: كل قواعد لدينا قواعد. نأمل في بعض الإجابات المفيدة.

Answer 1

شبكات بتري هي مجرد طريقة رائعة للتعبير عن مساحة الدولة والتحولات بين الولايات. إنهم يضطلعون، بحيث يكون كل ما ينطبق على آلات تورينج صحيح لشبكات بتري أيضا.

أنها ليست بأي حال من الأحكام ذكاء اصطناعي. في بلدي oppinion، يجب أن يكون تطبيق مفيد ل Nets Petri كأداة نمذجة مجردة لأغراض المحاكاة.

تحرير: بعض الأمثلة لهذا قد تكون محاكاة الحزم في شبكة الكمبيوتر أو كيف ستصرف الآلي. إذا كنت لا تزال مهتما، فإليك رابط لفئة محاكاة الكمبيوتر التي تعلم شبكات بتري مع بعض السلوك العشوائي: http://www.sim-md.de/its/lectures/09-Petrinets.pdf.

تحرير 2: تجاهل الرابط العلوي، لم يعد يعمل.