تقطيع شبكات بتري

يُعدّ تقطيع شبكة بتري (PN) أسلوبًا نحويًا يُستخدم لتقليص نموذج شبكة بتري بناءً على معيار مُحدد. ^{[ 1 ] [ 2 ] [ 3 ]} وبصورة غير رسمية، قد يكون معيار التقطيع خاصيةً يُحلل نموذج شبكة بتري بناءً عليها، أو مجموعة من المواضع أو الانتقالات أو كليهما. ويُمثل الجزء المُقطّع فقط ذلك الجزء من نموذج شبكة بتري الذي قد يؤثر على المعيار.

صاغ م. وايزر مصطلح "التقطيع" في سياق تصحيح أخطاء البرامج . ^{[ 4 ]} ووفقًا لوايزر، فإن شريحة البرنامج هي برنامج مُصغّر وقابل للتنفيذ ، يُمكن الحصول عليه من برنامج P بناءً على المتغيرات المطلوبة ورقم السطر ، وذلك عن طريق حذف بعض العبارات بحيث يُحاكي تقطيع البرنامج جزءًا من سلوك البرنامج الأصلي. وقد تم تكييف المصطلح لاحقًا ليُستخدم في سياق شبكات بتري، ولأنواع أخرى من شبكات بتري مثل شبكات بتري الجبرية . ^{[ 1 ] [ 2 ] [ 3 ] [ 5 ]}