پاورپوینت درباره استفاده از شبکه‌هاي پتري در ارزيابي معماري

این فایل حاوی 85 اسلاید درباره استفاده از شبکه‌هاي پتري در ارزيابي

معماري می باشد


فایل شامل:

تاريخچه شبکه‌هاي پتري (Petri-Net)

تعريف شبکه پتري

ويژگيهاي شبکه‌ پتري

مشخصات شبکه‌هاي پتري

قوانين شبکه پتري‌

قوانين انتقال (Firing)

مهره‌هاي شبکه پتري

شبكه‌هاي پتري رنگي

زمان در شبکه‌هاي پتري رنگي

و.........


قسمتی از فایل:

تاريخچه شبکه‌هاي پتري (Petri-Net)

1962: تز دكتراي آقاي كارل آدام پتري

1970: تعريف پروژه و بسط تئوري پتري در دانشگاه MIT

1975: اولين کنفرانس پتري‌نت و کاربردهاي آن

در دهه 1980 فعاليت‌هاي تحقيقاتي بسيار خوبي در رابطه با كاربردهاي

شبكه‌هاي پتري در اروپا و آمريكا انجام گرفت

در دهه 90، شبكه‌هاي پتري شروع به ظهور در عرصه‌هاي مختلف نموده و

با پذيرش عمومي مواجه شدند

تعريف شبکه پتري:

يک پنج‌تايي مرتب به شکل (P,T,I-,I+,M0) است که:

P يک مجموعه متناهي از مکان‌ها است

T يک مجموعه متناهي از انتقال‌ها است

P ∩ T = φ

P * T ═> N : I+ ، I- به ترتيب توابع تلاقي پيشرو و پسرو (forward and

backward incidence functions ) ناميده مي‌شوند

M0:P ═> N0 تابع علامت‌گذاري اوليه ناميده مي‌شود


ويژگيهاي شبکه‌ پتري

قادر به توصيف سيستم‌هائي هستند كه در آنها يكسري رخداد گسسته و

پراكنده وجود دارند

شبكه‌هاي پتري قادر به نمايش موارد زير هستند:

الگوهاي مخابراتي

الگوهاي كنترلي

جريان‌هاي اطلاعاتي

چارچوب رياضي براي آناليز، تاييد صحت و ارزيابي كارائي فراهم مي‌كنند و

مبتني بر نظريه گراف‌ها هستند

بطورخاص روي موضوعات همزماني و فعاليت‌هاي غير همزمان كاربرد دارند

و.........