شبکه پتری (به انگلیسی: Petri net ) در سال ???? توسط کارل آدام پتری معرفی شدند. شبکه پتری ابزار قدرتمندی برای مدل سازی همروندی هستند و قدرت توصیف بیشتری را نسبت به شبکههای صف فراهم میکنند. شبکههای پتری علاوه بر اینکه دارای ساختار و رفتار صوری هستند، قابلیت نمایش گرافیکی را دارند که به همین سبب مدل سازی توسط آنها را آسان میکند. یکی از دلایل موفقیت شبکههای پتری سادگی آنهاست که البته این سادگی گاه مدل کردن سیستمها یپیچیده را دشوار میسازد. امکانات زیادی به مدل اولیه شبکه پتری اضافه شدهاست تا قدرت مدل سازی آن را افزایش یابد و بتوان آن را در زمینههای مختلف به کار برد. نمایش ساختار نمایش گرافیکی شبکههای پتری برای تشریح مفاهیم نظری شبکه پتری بسیار مفید است. گراف شبکه پتری روشی برای ارائه ساختار شبکههای پتری است که در آن دو نوع گره وجود دارد. گرههایی به صورت دایره (O) و خط (?) وجود دارد ...