شبکه پتری (به انگلیسی: Petri net) در سال ۱۹۶۲ توسط کارل آدام پتری معرفی شدند. شبکه پتری ابزار قدرتمندی برای مدل سازی همروندی هستند و قدرت توصیف بیشتری را نسبت به شبکههای صف فراهم میکنند. شبکههای پتری علاوه بر اینکه دارای ساختار و رفتار صوری هستند، قابلیت نمایش گرافیکی را دارند که به همین سبب مدل سازی توسط آنها را آسان میکند. یکی از دلایل موفقیت شبکههای پتری سادگی آنهاست که البته این سادگی گاه مدل کردن سیستمها یپیچیده را...