نوع فایل: word
قابل ویرایش 121 صفحه
چکیده:
یک شبکه Petri، یک گراف دو گرهی جهت‌دار است. گره‌ها، مکان (که به شکل گرد کشیده می‌شوند) و گذار که به شکل چهار گوش نمایش داده می‌شوند، می‌باشند.
دو گره از دو نوع گوناگون با استفاده از یک پیکان به هم وصل می‌گردند. یک مکان برای مدل کردن منبع، شرط مواد اولیه و تولید به کار برده می‌شود. رویدار، فعالیت و گام فعالیت را می‌توان با گذار مدل کرد. بنابراین مجموعه مکانها در یک مدل وضعیت را نشان میدهد در حالیکه گذارها بیانگر رویدادهایی هستند که رخ دادن آنها وضعیت کنونی را به وضعیت بعد تغییر میدهد. نهاد یا چیزی که با رخ دادن آنها رویدادها، از یک وضعیت به وضعیت دیگر انتقال می‌یابند را با خالهای سیاهرنگ در مکانها نشان می‌دهند.
طرح‌های حفاظتی از طریق Petri net به منظور اعمال ارزیابی عملکردی مدلسازی گردیدند. Petri net های علامت‌دار برای ارزیابی کمیت‌پذیر مناسب می‌باشند در حالیکه Petri netsهای زمانی و Petri netهای زمانبندی شده برای ارزیابی‌های زمان چرخه و روند و برای ایجاد ارتباطات بین پارامترهای زمان حفاظت اولیه و ثانویه مناسب می‌باشند.
Petri netهای اتفاقی برای مدلسازی ماهیت اتفاقی حفاظت مورد کابرد قرار گرفتند؛ آنها به ارزیابی اقدامات عملکردی احتمالی امکان می‌بخشند و دارای مزیت‌ةائی نسبت به تکنیک‌های شبیه‌سازی می‌باشند.
مقدمه:
زمانیکه در یک سیستم نیرو، ایرادی رخ میدهد، طرح حفاظتی رله کننده (تقویت کننده) باید اقدامات تشخیص خطاء و تفکیک کردن آن را انجام داده، این اقدامات باید بطور معتبری با تأخیر حداقل و با وقفه حداقل تأمین در بارهای مشتری (مصرف کننده) اعمال گردند. بطور معمول، مهندسان حفاظتی از اطلاعات خود در مورد ویژگی سیستم نیرو و مجموعه‌ای از قوانین طرح به منظور طراحی طرح حفاظتی آن استفاده کرده‌اند.
با پیشرفا سیستم‌های نیروی بسیار پیچیده، که دارای نیازهای کارآیی شدیدی می‌باشند، معقولانه است که ابزار برای طرح سیستماتیک طرح‌های حفاظتی چنین طرح‌هایی همانند ارزیابی کارایی طرح‌های حفاظتی دیگر، توسعه و پیشرفت یابند. ]3و2و1[.
مدلهای Petri net ابزاری برای ارائه طرح‌های حفاظتی می‌باشند؛ آنها این امکان را فراهم می‌آورند تا تضمین دهند که این طرح‌ها دارای کیفیت‌های مطلوبی بوده، آ ها به مقایسه طرح‌های متفاوت امکان داده، و این امکان را فراهم می‌آورند تا ضرورتهای هماهنگ را بین پارامترهای زمانبندی حفاظت اولیه و بک آپ معین کنند و آنها می‌توانند برای ارزیابی کارایی و عملکردی به کار روند.
مدل Petri net، مطالعه طرح حفاظت را صرف‌نظر از دینامیکهای سیستم نیرو امکانپذیر می‌سازد.
در این مقاله، ما یک رابطه مدلسازی Petri net را برای مطالعات حفاظتی ایجاد خواهیم کرد، ما توصیف خواهیم کرد که چگونه مدلهای متفاوت Petri net، اطلاعاتی را که برای ارزیابی کمی و کیفی طرح‌های حفاظتی حائز اهمیت می‌باشند را کسب می‌کنند.
Petri netهای برجسته، امکان ارزیابی اقدامات کارایی کمیت‌پذیر حفاظتی، ایمنی و دقیق را فراهم می‌سازند. Petri netهای زمانی قادر به ارائه پارامترهای زمان‌دار طرح‌های حفاظتی بوده و به عنوان یک ابزاری برای ایجاد رابطه بین این پارامترها به منظور اینکه هماهنگی بین حفاظت اولیه و بک آپ تضمین می‌گردد، عمل می‌کنند.
هدف دیگر ارائه اطلاعات زمانبندی، Petri net زمانبندی شده می‌باشد بطوریکه در مقایسه زمان‌های چرخه، دوره و چرخه‌های عملکردی طرح‌های حفاظتی مفید می‌باشند. Petri netهای اتفاقی بطور کافی ماهیت اتفاقی حفاظت را ارائه می‌کنند، ما مزایای آنها را نسبت به تکنیک‌های شبیه‌سازی به عنوان ابزار مقایسه زمان متوسط Sojourn و احتمال وضعیت ثابت تصرف هر وضعیت طرح حفاظت را ارائه خواهیم کرد.
Petri netها برای مدلسازی سیستم‌های کامپیوتری و پرتکل‌های ارتباطی توسعه یافتند ]5و4[.
سیستم‌های ]نیفتاده[، سیستم‌های فعالیتی گسسته می‌باشند. در چنین سیستم‌هایی وضعیت بدون تغییر می‌ماند تا اینکه یک اتفاق رخ دهد، از این رو باعث می‌گردد سیستم بطورفوری به وضعیت متفاوتی تغییر و سویچ گردد. اگر چه سیستم نیرو یک سیستم زمان مستمر و متداوم می‌باشد، طرح حفاظتی آن می‌تواند به عنوان یک سیستم فعالیتی گسسته و یک سیستم مدلسازی شده از طریق Petri netها بررسی و تلقی گردد.
رخداد یک خطاء یک واقعه تغییر میدهد. بطور مشابه، از بین بردن خطاء و تنظیم مجدد یک رله (تقویت) اتفاقات گسسته هستند که وضعیت را تغییر می‌دهند.
اگر چه تعریفات فرمال در مورد Petri netها (PNS) موجود می‌باشد ]6[، ما آن را برای مجسم کردن یک PN به عنوان یک نمودار دو قسمتی مستقیم (جهت‌دار) مناسب خواهیم یافت به طوریکه دو مجموعه منفصل از گره‌ها و دو مجموعه منفصل از لبه‌ها وجود دارند. مجموعه n گره‌های مکان P=(p1, p2, …, pn) توسط دوایر و مجموعه m گره تغییر وضعیت T=(t1, t2, …, tm) توسط خطهای تیره همانند تصویر را نشان داده می‌شوند، در حالیکه n=4 و m=3 می‌باشند.
لبه‌های مستقیم IN خارج از گره‌های مکان و در داخل گره‌های تغییر وضعیت اتفاق می‌باشند، اجزاء منفرد و خاص این مجموعه توسط Petri net نشان داده می‌شوند. لبه‌های جهت‌دار (مستقیمی OUT، خارج از گره‌های تغییر وضعیت و در داخل گره‌های مکان اتفاق می‌باشند، اجزاء این مجموعه توسط OUT (pi,tj) مشخص می‌گردند. در تصویر 1، مجموعه IN شامل 5 لبه بوده و مجموعه OUT دارای 6 لبه می‌باشند. مجموعه گره‌های ورودی یک تغییر وضعیت tj، مجموعه مکان‌های pi هستند که بطوریکه IN[pi,pj] یک اجزای از IN می‌باشد. بطور مشابه، وجموعه خروجی، مجموعه مکان‌های pi می‌باشند، بطوریکه OUT[pi,pj] یک جزئی از OUT می‌باشند.
اطلاعات توپولوژیکی PN گراف در ماتریس تلاقی آن، C، قرار گرفته دارای N ردیف و m ستون می‌باشد.
المنت C[i,j] دارای ارزش 1- می‌باشد اگر مکان pi یک گرخ ورودی تغییر وضعیت tj باشد، آن دارای ارزش 1+ می‌باشد اگر مکان pi یک گره خروجی از تغییر وضعیت tj بوده و به عبارت دیگر دارای ارزش O می‌باشد.
بطور واضح، C مشخص می‌گردد تنها اگر هیچ گرهی، یک گره ورودی و یک گره خروجی همان تغییر وضعیت نباشد.
چنانکه در بخش بعدی نشان داده می‌شود، ماتریس تلاقی برای بررسی اینکه PN برجسته یک طرح حفاظتی، معمولی است یا نه، مفید و مؤثر می‌باشد؛ این مورد تضمین میدهد که طرح دارای ویژگی معمولی می‌باشد. ماتریس تلاقی همچنین به عنوان مورد مربوط و مناسب در تشخیص چرخه‌ها در PN مدل نشان داده خواهد شد، از اینرو به ارزیابی زمان‌های چرخه طرح حفاظت سهولت خواهد بخشید.
فهرست مطالب:
چکیده
مدلهای قطعی و اتفاقی از طرح‌های حفاظتی چیست ؟
مقدمه
Petri net های علامت‌دار
بررسی‌های باز یافتنی
ارزیابی زمان چرخه
مدلهای اتفاقی
نتایج
تکنیک‌های مدلسازی قابل تأیید با استفاده از زبان گرافیکی شبکه
Petri رنگی
مقدمه
ساختار ارکست، مفاهیم و ویژگی‌ها
نرم افزارهای کاربردی در دسترس Off – the – Shelf User Front Ends
کوپلینگ کردن رابط کاربر برای موتور تصدیقی
پروژه تصدیق نمونه
بررسی طرح نمونه‌ای UML
تبدیل طرح UML به شبکه Petri رنگی
تأیید طرح از طریق تکرار
نتایج
عملکرد در مورد مدلسازی شبکه رنگی PetriNet
تصرف منابع مقارن در سیستم‌های توزیع گردیده
چکیده
1- مقدمه
2- کاربرد منبع
3- مدل تأخیر SRP کلاس منفرد و مستقل
4- مدل تأخیر SRP با کلاس چندگانه و متعدد
5- مدل اتلاف SRP چند کلاسه
مدلسازی سیستم‌های سازنده انعطاف‌پذیر توسط Petri net زمانبندی شده
چکیده
1- مقدمه
I. ماشین‌کاری و مونتاژ
II – سیستم تولید
IV – مدلسازی سیستم‌های ساخت و تولید
V- نتایج شبیه‌سازی
VI- نتایج
کاربردات Petri net برای شبیه سازی
چکیده
مقدمه
A- Petri nets
B- کاربرد ابزار موجود Petri net
C- کاربرد مدل Petri net برای کنترل مراقبت سلامتی
D- پیشرفت و تست یک شبکه Petri برای سیستم‌های اطلاعاتی بالینی
IV- بررسی‌ها
V- نتیجه‌گیری
انگیزة پروژه
بررسی
دستورالعمل‌هایی برای شناسایی محدوده D3
نمودار قطعه
مدل رفتاری یا عملکردی شبکه Petri
مدل رفتاری یا عملکردی متافور
اهداف ویژه
پروژه رشته کامپیوتر در مورد ابزار ((Petri Net)). doc