داکیومنت آماده در مورد پتری نت و ابزار cpnTools به همراه مدل عدد اول و مدل حالات پردازش

شبکه پتری نت

تاريخچه شبکه هاي پتري

شبکه هاي پتري در 1962 به عنوان يکي از اين ابزار براي مدلسازي سيستم هاي کامپيوتري توسط کارل آدام پتري مطرح شد.توسط گروه هاي خاص در آلمان مورد بررسي قرار گرفت و سپس در بسياري از كشورها رواج پيدا كرد . البته بايد بدانيم كه در چند سال آينده شبكه هاي پتري گسترش چشم گيري خواهند داشت . بطور مثال بجاي فلوچارت خواهند نشست. این شبکه به نمودارهای انتفال حالت (STD) شبیه است ، همچنین مدل سیستم پیچیده را به سیستم ساده تبدیل می کند .

تعریف شبکه پتری نت

5 جز ساختار شبکه پتری :

C = (P, T, I, O, µp)

ü P : مجموعه مکان های شبکه

ü T : مجموعه گذارهای شبکه

ü I : مجموعه توابع ورودی برای گذارهای شبکه

ü O : مجموعه توابع خروجی برای گذارهای شبکه

ü µp: نشانه گذاری شبکه به کمک Token های موجود در Place ها .

شبكه پتري ابزاري گرافيكي جهت توصيف رسمي جريان فعاليت ها در سيستم هاي پيچيده است كه يك مدل آسنكرون از سيستم ايجاد مي كند. شبكه پتري رنگي را مي توان با مفهوم شي گسترش داد و به شبكه هاي OPN[1] رسید.

يك شبكه پتري از چهار عنصر پايه تشكيل شده است : مكان [2]، گذار[3]، كمان[4] و نشانه.[5]

مكان ها، نمايانگر وضعيت هاي ممكن سيستم هستند. هر مكان مي تواند شامل تعدادي نشانه باشد. نشانه ها بيان مي كنند كه سيستم يا بخشي از آن درزمان جاري در چه وضعيتي ممكن است قرار داشته باشند.

گذارها فعاليتهاي سيستم را نشان مي دهند. يك گذار، زماني توانا[6] مي شود كه تمام مكان هاي ورودي آن نشانه داشته باشند. يك گذار توانا مي تواند شليك[7] كند كه در اين صورت يك نشانه از هر مكان ورودي آن كم مي شود و يك نشانه به هر مكان خروجي آن اضافه مي گردد. چنانچه دو يا چند گذار همزمان توانا باشند، هر يك از آن ها ممكن است شليك كنند. انتخاب يك گذار از ميان گذارهاي توانا پيش بيني نشده و تصادفي است. كمان ها ي جهت دار، مكان ها را به گذارها و برعكس وصل مي كنند. بين دو مكان يا دو گذار نمي توان كمان داشت.

تفاوت اصلي شبكههايپتريرنگي و شبكه هاي پتري در نوع نشانه هاي آن هاست. شبكه هاي پتري رنگي از نشانه هاي رنگي پشتيباني مي كنند. رنگ ها معادل انواع داده در زبان هاي برنامه نويسي هستند و نشانه هاي رنگي نمايانگر مقاديرمجاز از هر نوع داده يا به عبارتي نمونه اي از يك نوع داده مي باشند. براي آشنايي بيشتر با شبكه هاي پتري رنگي بهتراست به معرفي چند اصطلاح بپردازيم.

برچسبنوع : هر مكان داراي يك برچسب نوع است كه نوع داده هاي ممكن در آن مكان را مشخص مي كند.

نشانهگذاري :[8]حالت يك شبكه پتري رنگي، كه شامل تعداد و مكان نشانه ها در يك مقطع زماني معين است، نشانه گذاري ناميده مي شود.

: Multi-Set يك مجموعه از نشانه هاست كه برخلاف مجموعه هاي معمولي، چنانچه يك عضو تكراري وارد آن شود،تعداد آن عضو افزايش مي يابد.

عبارتهايكمان :[9]تعداد دقيق نشان هها و مقادير داده اي آن ها توسط عبارت هاي كمان مشخص مي شود.

چسباندن:[10]در هنگام وقوع يك گذار، مقادير مجاز نشانه ها بايد با توجه به نوع و تعداد مشخص شده روي كمان هاانتخاب شوند. اين عمل چسباندن نام دارد.

محافظ[11] : يك عبارت بولي است كه به يك گذار منسوب مي شود و امكان شليك كردن آن را محدود به شرط مي نمايد.

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

براي ايجاد، شبيه سازي و تحليل شبكه هاي پتري رنگي ابزارهاي گوناگوني موجود است. مهمترين و پركاربردترين اين ابزارها Design CPN و CPN Tools مي باشد.

عناصر شبکه پتری نت

شبکه پتری از 4 عنصر پایه تشکیل شده است :

1. Transition : (انتقال/گذار| rectangles) مركز فعاليت که بر روي token اثر مي گذارد و شايد token جديد ايجاد كند .( توضیح حوادث و وقایع)
2. Place : (مكان| circles) براي نگهداري موقت token ها (مولفه هاواجزای سیستم)
3. Token : ( نشانه يا مهره) برای تعریف وضعیت شبکهxadهای پتری به کار میxadروند. توکنxadها در مدلهای اولیه، نشانه های غیرتوصیفی هستند که در placeها قرار میxadگیرند و در تعریف علامتxadگذاری شبکهxadهای پتری به کار میxadروند. هر place میxadتواند فاقد توکن یا دارای یک یا چند توکن باشد.
4. Arc : (کمان| arrows) مسير حركت tokenها در گراف شبكه پتری (رابطه بین p و t)

اگر در يك لحظه در هيچ يك از مكان هاي گراف ، توكن نداشته باشيم اين شبكه پتري را شبكه پتري ( غيرزنده ) مي نامند. از طرفی نمایش گرافیکی، شبکهxadهای پتری را به عنوان گراف دو قسمتی جهتxadدار نیز بیان میxadکند. در گراف دو قسمتی جهتxadدار، گرهxadها به دو مجموعه مجزا تقسیم میxadشوند به قسمی که برای هر یال موجود در این گراف، یک انتهای آن در یک مجموعه گره و انتهای دیگرش در مجموعه دیگر است. اشتراک این دو مجموعه گره تهی و اجتماع آنها کل گرهxadهای گراف را تشکیل میxadدهد. در شبکهxadهای پتری placeها و گذارها به عنوان این دو مجموعه مجزا از گرهxadها در نظر گرفته میxadشوند و arcها در حکم یال اتصال دهنده آنها میxadباشند که یه سر آنها به placeها و سر دیگرشان به گذارها متصل است.

-------------------------------------------------------

این داکیومنت 40 صفحه بوده و همراه با 2 مثال پیاده سازی شده در نرم افزار CPNTOOLS می باشد. شما می توانید نمونه pdf داکیومنت را از این لینک دانلود کنید.

قیمت 50.000 تومان