شبكات بيتري نوع من الشبكات يستعمل كنموذج رياضي لنمذجة عمليات غير متقاطة أي تحصل في نفس الوقت (parallel). أبتكرت شبكات بيتري عن طريق كارل بيتر بيتري في الستينات و تعتبر تعميما لنظرية الآلات Automata theory