استخدامات التتبع في إدارة العمليات: تجميع برنامج بحثي. إدارة وبناء الأنظمة الحرجة
شبكة بتري
تتكون شبكة بتري من أماكن وانتقالات وأقواس. تعمل الأقواس من مكان إلى مرحلة انتقالية أو العكس ، وليس أبدًا بين الأماكن أو بين الانتقالات. تسمى الأماكن التي يمتد منها القوس إلى الانتقال بأماكن الإدخال الخاصة بالانتقال ؛ تسمى الأماكن التي تنطلق إليها الأقواس من الانتقال بأماكن إخراج الانتقال.
بيانياً ، قد تحتوي الأماكن في شبكة بتري على عدد منفصل من العلامات تسمى الرموز المميزة. أي توزيع للرموز المميزة على الأماكن سيمثل تكوينًا للشبكة يسمى علامة. بالمعنى المجرد المتعلق بمخطط شبكة بيتري ، قد يتم إطلاق انتقال شبكة بتري إذا تم تمكينها ، أي أن هناك رموزًا كافية في جميع أماكن الإدخال الخاصة بها ؛ عندما يبدأ الانتقال ، فإنه يستهلك رموز الإدخال المطلوبة ، وينشئ الرموز المميزة في أماكن الإخراج الخاصة به. يعتبر إطلاق النار ذريًا ، أي خطوة واحدة غير قابلة للمقاطعة.
ما لم يتم تحديد سياسة تنفيذ (على سبيل المثال ، ترتيب صارم للانتقالات ، يصف الأسبقية) ، فإن تنفيذ شبكات بتري غير حتمي: عندما يتم تمكين انتقالات متعددة في نفس الوقت ، سيتم إطلاقها بأي ترتيب.
نظرًا لأن الإطلاق غير محدد ، وقد توجد رموز متعددة في أي مكان في الشبكة (حتى في نفس المكان) ، فإن شبكات Petri مناسبة تمامًا لنمذجة السلوك المتزامن للأنظمة الموزعة.