صانع شبكة بيتري

مخطط شبكة بيتري هو أداة نمذجة رياضية تمثل الأنظمة الموزعة باستخدام الأماكن (دوائر)، والانتقالات (مستطيلات)، والرموز (نقاط) لعرض حالات النظام وتغيراتها.

المكونات الرئيسية هي الأماكن (تمثلها دوائر)، والانتقالات (تظهر كمستطيلات أو قضبان)، والرموز (نقاط داخل الأماكن)، والأقواس (أسهم تربط بين الأماكن والانتقالات).

تُستخدم شبكات بيتري في نمذجة الأنظمة المتزامنة، وعمليات الأعمال، وأنظمة التصنيع، وسير العمل، والشبكات الحاسوبية لتحليل سلوك النظام والتحقق من الخصائص.

تتحرك الرموز عندما تشتعل الانتقالات. يمكن أن تشتعل الانتقال عندما تحتوي جميع أماكن الإدخال الخاصة بها على رموز كافية، مما يستهلك الرموز من أماكن الإدخال وينتج رموزًا في أماكن الإخراج.

تمثل الأماكن حالات النظام أو الشروط ويمكن أن تحتوي على رموز، بينما تمثل الانتقالات الأحداث أو الإجراءات التي يمكن أن تغير حالة النظام عن طريق تحريك الرموز.