You can edit almost every page by Creating an account. Otherwise, see the FAQ.

شبکه پتری رنگی

از EverybodyWiki Bios & Wiki
پرش به:ناوبری، جستجو

خطای اسکریپتی: پودمان «AfC submission catcheck» وجود ندارد. شبکه های پتری رنگی یک پسوند سازگار با مفهوم ریاضی شبکه های پتری هستند. تورهای پتری رنگی خصوصیات مفید شبکه های پتری را حفظ می کنند و در عین حال تشریفات اولیه را گسترش می دهند تا تفاوت بین نشانه ها را فراهم کند. شبکه های پتری رنگی به توکن ها این امکان را می دهد که مقدار داده ای به آنها متصل شود. به این مقدار داده پیوست شده، رنگ توکن گفته می شود. اگرچه رنگ می تواند از نوع دلخواه پیچیده باشد، اما مکان های موجود در تورهای رنگی پتری معمولا دارای نشانه هایی از یک نوع هستند. به این نوع مجموعه رنگی مکان گفته می شود.

تعریف 1- N = ( P , T , A , ∑ , C , N , E , G , I ) خالص یک جمع است که در آن :

- P مجموعه ای از مکان ها

- T مجموعه ای از انتقال ها

- A مجموعه ای از قوس ها

PT = PA = TA = ∅ در شبکه های پتری رنگی، مجموعه ای از مکان ها، انتقال ها و کمان ها به صورت جفت جداگانه       

- ∑ مجموعه ای از مجموعه های رنگی است. این مجموعه شامل تمام رنگ ها، عملکردها و عملکردهای ممکن است.

- C یک تابع رنگی است که مکان ها را در P به رنگ های ∑ نشان می دهد.

- N یک عملکرد گره است.

- E یک عملکرد بیان قوس است. این نقشه ها هر قوس a ∈ A در عبارت e. انواع ورودی و خروجی عبارات قوس باید با نوع گره هایی که قوس به آنها متصل است مطابقت داشته باشد. استفاده از عملکرد گره و عملکرد بیان قوس باعث می شود که چندین کمان جفت گره های یکسانی را با عبارات مختلف قوسی متصل کنند.

- G یک تابع محافظ است. این هر انتقال t ∈ T را به یک عبارت محافظ g ترسیم میکند. خروجی عبارت محافظ باید ارزیابی شود تا مقدار بولی (درست یا نادرست) به دست آید.

- I تابع مقداردهی اولیه است. هر مکان P را به یک عبارت مقداردهی اولیه رسم میکند. بیان مقداردهی اولیه باید به چند مجموعه از توکنها با یک رنگ متناسب با رنگ مکان C ارزیابی شود.

CPN Tools یک برنامه شناخته شده برای کار با شبکه های پتری رنگی است.

گروه CPN در دانشگاه آرهوس[1] در 30 سال گذشته محل توسعه شبکه های پتری رنگی بوده است. این گروه به عنوان یکی از رهبران جهان در تئوری و کاربرد شبکه های پتری سطح بالا در نظر گرفته شده است. کتاب ها و مقالات پژوهشی متعدد. علاوه بر این، یک ابزار کامپیوتری CPN Tools با 10000 مجوز در 150 کشور جهان ایجاد کرده است.

در حال حاضر این گروه غیرفعال است، زیرا هر سه عضو ارشد وظایف شغلی دیگری نیز بر عهده دارند.

-       کورت جنسن[2] معاون گروه علوم کامپیوتر در دانشگاه آرهوس است.

-       لارس ام.کریستنسن[3] استاد کالج دانشگاه برگن نروژ است.

-       سورن کریستنسن[4] بخشی از تیم مدیریت عملیات IT در دانشگاه آرهوس است.

شبکه های پتری رنگی یک زبان گرافیکی برای ساخت مدل های سیستم های هم زمان و تجزیه و تحلیل خصوصیات آنها است. شبکه های پتری پایه و اساس نت گرافیکی و مبانی اولیه برای مدل سازی و همزمان سازی، ارتباطات و هماهنگ سازی را فراهم می کنند. زبان برنامه نویسی کاربردی Standard ML ابتدای تعریف انواع داده ها، توصیف دست کاری داده ها و ایجاد مدل های فشرده و قابل پارامتر را فراهم می کند.

شبکه های CP مکمل زبان ها و روش های مدل سازی موجود است (مانند UML) و می تواند همراه با آنها استفاده شود یا در آنها ادغام شود. دامنه های کاربردی معمولی پروتکل های ارتباطی، شبکه های داده، الگوریتم های توزیع شده، سیستم های جاسازی شده، فرآیند تجاری، گردش کار، سیستم های تولیدی و سیستم های چند عاملی.

مدل های CPN برای مدل سازی و مشخص کردن رفتار سیستم های هم زمان و توزیع شده استفاده می شود. یک شبیه سازی تعاملی راهی را برای عبور از بین مدل CPN فراهم می کند، سناریوهای مختلف را به طور دقیق بررسی می کند و بررسی می کند آیا مدل مطابق انتظار کار می کند. شبیه سازی خودکار شبیه به اجرای برنامه و هدف این است که مدل CPN را با سریع ترین و کارآمد ترین حالت ممکن، بدون تعامل و بازرسی دقیق انسان انجام دهید.

شبکه های CP شامل مفهومی از زمان است که امکان گرفتن زمان صرف شده توسط رویدادها در سیستم را فراهم می کند. این بدان معنی است که شبکه های CP را می توان برای تجزیه و تحلیل عملکرد مبتنی بر شبیه سازی اعمال کرد، جایی که عملکرد مانند تاخیر، توان عملیاتی و صف طول های سیستم بررسی می شود. مدل های CPN رسمی هستند و از این رو می توان از آنها برای اثبات خصوصیات مربوط به سیستم های مدل شده استفاده کرد.

استفاده از شبکه های CP و روش های تجزیه و تحلیل آنها توسط مجموعه ای پیچیده از ابزارهای رایانه ای به نام CPN Tools پشتیبانی می شود. این مجموعه ابزار از سال 2000 در دانشگاه آرهوس ساخته شده است. پاییز 2010 ابزارهای CPN به گروه AIS دانشگاه فناوری آیندهوون هلند منتقل می شوند.

کتاب درسی CPN ساختارهای زبان مدل سازی CPN را معرفی می کند و توضیح می دهد که چگونه مدل های CPN شبیه سازی، تجزیه و تحلیل فضای حالت، تجسم رفتاری و تجزیه و تحلیل عملکرد مبتنی بر شبیه سازی را تسهیل می کند.


[2] Kurt Jensen

[3] Lars M. Kristensen

[4] Soren Christensen


[1] Aarhus University

منابع[ویرایش]


1- دانشنامه ویکی پدیا انگلیسی (Coloured Petri net)

2- https://cs.au.dk/cpnets/ رده:مقاله‌های ایجاد شده توسط ایجادگر


This article "شبکه پتری رنگی" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:شبکه پتری رنگی. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.



Read or create/edit this page in another language[ویرایش]