فریده صادقی - گروه کامپیوتر، دانشگاه آزاد اسلامی واحد دزفول، دزفول، ایران.
علی هارون آبادی - گروه کامپیوتر، دانشگاه آزاد اسلامی واحد تهران مرکزی، تهران، ایران.
کریم انصاری اصل - گروه برق، دانشگاه شهید چمران، اهواز، ایران

یکی از راه های بررسی ویژگی های یک سیستم مورد  مطالعه، مدل سازی آن است و شبکه های پتری با مدل سازی رفتار سیستم و با بهره گیری از مبانی ریاضی راه کاری جهت مدل سازی سیستم محسوب می شوند. از آن جا که نمایش دانش در دنیای واقعی علاوه بر دربر گرفتن مقادیر نامطمئن و فازی، از پیچیدگی بالایی برخوردار است، در سال های اخیر ادغام تئوری منطق فازی با انواع مختلفی از شبکه های پتری مورد توجه قرار گرفته و انواع مختلفی از شبکه های پتری فازی به وجود آمده است. از طرف دیگر زبان نشانه گذاری شبکه ی پتری (PNML)، نسخه ای براساس زبان نشانه گذاری توسعه یافته (XML)، جهت توصیف شبکه های پتری است. استفاده ی مهم از PNML مطابق با منطق کلاسیک و جهت توصیف شبکه های پتری مربوط به سیستم هایی با رویداد های گسسته است و توصیف انواع مختلف شبکه های پتری فازی را پشتیبانی نمی کند؛ لذا این تحقیق با ارائه ی جمع بندی ای از مفاهیم مربوطه، زمینه ای جهت برطرف نمودن نیاز کاربر امروز فراهم کرده که توصیف انواع شبکه های پتری پیچیده تر را با یک زبان استاندارد ممکن می سازد.

تئوری منطق فازی، زبان نشانه گذاری شبکه ی پتری، شبکه های پتری، شبکه های پتری فازی، زبان نشانه گذاری توسعه یافته