Petri Nets: Properties, Analysis and Application

Slides:



Advertisements
Similar presentations
Queue theory.
Advertisements

Stranded Costs مقدمه 1 - آشنايی با پديده های غيرخطی ( ياد آوری و تکميل ) 2 - مبانی رياضی ( مهم )
سازگاري فرايندهاي يادگيري Consistency of Learning Processes ارائه دهنده : الهام باوفای حقیقی استاد درس : آقای دکتر شيري دانشگاه امير كبير دانشكده ‌ مهندسي.
دستور العمل نحوه محاسبه امتیاز مقالات ISI اعضای هیأت علمی دانشگاه صنعتی اصفهان بر اساس تعداد استنادات در پايگاه اسكاپوس شهریور ماه 1388 نفیسه دهقان.
1 آزمايشگاه سيستم های هوشمند ( Domain-specific Architecture.
مهندسی نرم افزار مبتنی بر عامل
ارائه روشي براي شناسايي کاراکترهاي دستنويس، برپايه شبکه LVQ.
ارائه درس روباتيکز Extended Kalman Filter فريد ملازم استاد مربوطه دکتر شيري دانشگاه امير کبير – دانشکده کامپيوتر و فناوري اطلاعات.
سيستمهاي اطلاعات مديريت ارائه كننده : محسن كاهاني.
طراحي و ساخت سيستم‌هاي تجارت الکترونيک ساخت سيستم‌هاي تجارت الکترونيک ECSE.
نمايش اعداد.
نام و نام خانوادگي : فريد ملازم 1 آزمايشکاه سيستم هاي هوشمند ( موضوع ارائه Process and Deployment Design.
مديريت پروژه‌هاي فناوري اطلاعات فرآيند مديريت پروژه-مرحله برنامه‌ريزي.
مديريت پروژه‌هاي فناوري اطلاعات فرآيند مديريت پروژه-مرحله برنامه‌ريزي.
RUP فرآيند شيئ گراي توسعه نرم افزار Rational. RUP عناوين مورد بررسي n مقدمه n بهترين تجارب n نگاهي كلي به فرآيند n فرآيند مبتني بر موارد كاربرد n فرآيند.
1 آزمايشگاه سيستم های هوشمند ( ارزيابي معماري نرم افزار.
نمايش اعداد.
ارائه کننده: آلاء شريعتی
مديريت پروژه‌هاي فناوري اطلاعات فرآيند مديريت پروژه-مرحله برنامه‌ريزي تخصيص منابع.
تعميم در يادگيري مبتني بر نمونه ها
مديريت پروژه‌هاي فناوري اطلاعات فرآيند مديريت پروژه-مرحله برنامه‌ريزي تعيين تقدم و تاخر انجام فعاليت‌هاي پروژه.
1 Binary storage & registers. CS 151 Binary Variables Recall that the two binary values have different names: –True/False –On/Off –Yes/No –1/0 We use.
نمايش اعداد علی عادلی.  مبنا ( base ): –مبناي r: ارقام محدود به [0, r-1]  دسيمال:(379) 10  باينري:( ) 2  اکتال:(372) 8  هگزادسيمال:(23D9F)
روابط مجموعه ها سلیمی. دکتر سلیمانی. نظریه فازی در سال 1965 بوسیله یک دانشمند ایرانی بنام پروفسور لطفی زاده معرفی گردید. گرچه این نظریه در ابتدا با.
1 فصل دوم تبديلات. 2 فصل دوم سرفصل مطالب مقدمه ضرب بردارها دستگاه ‌ هاي مختصات دوران ‌ ها مختصات همگن دوران ‌ ها و انتقال ‌ ها تبديلات تركيبي همگن تبديل.
1/19 Informed search algorithms Chapter 4 Modified by Vali Derhami.
1 فصل سوم سينماتيك مستقيم. 2 محتواي فصل   تعريف مجموعه فازي   تابع عضويت   نمايش مجموعه هاي فازي   برش آلفا   متغيرهاي زباني   ساخت مجموعه.
Image Enhancement in the
Cost- Effectiveness Analysis
Information Retrieval
مدارهای منطقی فصل چهارم و پنجم - مدارهاي منطقي تركيبي ماجولي
اصول روان سنجی و روان آزمویی
فرآيند تحليل سلسله مراتبي Analytical Hierarchy Process (AHP)
نظریه رفتار برنامه ريزي شده Theory of Planned Behavior
به نام خدا POWER SYSTEM ANALYSIS Ali Karimpour Associate Professor
مرتب سازي مقايسه اي مرتب سازي خطي
ANOVA: Analysis Of Variance
ANOVA: Analysis Of Variance
نمايش معادلات فضاي حالت توسط فرمهاي كانوليكال
تجزیه و تحلیل تصمیم گیری
پردازنده هاي چند هسته اي
تکنیک دیماتل DEMATEL: decision making trial and evaluation laboratory.
معرفي درس ساختمان داده ها و الگوريتمها
دکتر حسين بلندي- دکتر سید مجید اسما عیل زاده
دکتر حسين بلندي/ دکتر سید مجید اسماعیل زاده / دکتر بهمن قربانی واقعی
تبدیل فوریه (Fourier Transform)
نمايش اعداد در کامپيوتر چهار عمل اصلي
Similarity transformation
امنيت سيستم قدرت بهره برداري اقتصادي از سيستم قدرت
مقدمه اي بر داده کاوي و اکتشاف دانش
سيستمهاي اطلاعات مديريت
مدلسازي تجربي – تخمين پارامتر
هیدرولیک جریان در کانالهای باز
فيلتر كالمن معرفي : فيلتر كالمن تخمين بهينه حالت‌ها است كه براي سيستم‌هاي ديناميكي با اختلال تصادفي در سال 1960 بزاي سيستم‌هاي گسسته و در سال 1961 براي.
MPC Review کنترل پيش بين-دکتر توحيدخواه.
نظریه رفتار برنامه ريزي شده Theory of Planned Behavior
Test آزمون نرم افزار Mansooreh Jalalyazdi.
با تشکر از دکتر جواد سلیمی
تحليل عملكرد يك سيستم تصويربرداري ديجيتال
كيفيت سرويس چيست؟ از ديد كاربر: عبارت است از تضمين سرويس انتها به انتها براي كاربر از ديد شبكه: عبارت است از امكان اولويت بندي بسته ها و تنظيم رفتار شبكه.
آشنايي با نرم افزار.
مدلسازي تجربي – تخمين پارامتر
توزیع میانگین نمونه سعید موسوی.
آزمايشگاه مهندسي نرم افزار
تبديل همانندي در معادلات حالت و خروجي P ماتريس تبديل ثابت و ناويژه
فصل نهم سازماندهی نيازمنديهای سيستم مدلسازی منطقی
گروه كارشناسي ارشد مديريت فنآوري اطلاعات(واحد الكترونيكي تهران)
Dislocation multiplication
تخمين پارامترها - ادامه
Graph Theory in Circuit-1
Presentation transcript:

Petri Nets: Properties, Analysis and Application MURATA

کاربرد پتری نت پروتكل‌هاي ارتباطي افزايش كارايي سيستمها Multi processor data flow computing sys fault tolerant sys Programmable logic, VLSI arrays asynchronous circuits compiler perpetrating افزايش كارايي سيستمها سيستم هاي نرم افزاري گسترده سيستم هاي data base گسترده برنامه هاي موازي و هم‌زمان سيستم‌هاي كنترل توليد قابل انعطاف discrete-event sys

عناصر تشکيل دهنده پتری نت عناصر تشکيل دهنده پتری نت Place Transition Arc Token

جدول 2:مفاهيم مربوط به پتري نت جدول1 :تفسيرهاي معمول پتري نت

مثال1

transition قانون قوی وضعيف تبديل قوی به ضعيف که: جديد تعريف می کنيم place يک place 1 به ازای هر گام- گا م-2 کشيدن فلش با وزن متقابل

مثال2

قضيه1 اگر (N,Mo) يك شبكه خالص با ظرفيت محدود باشد، بايد قانون transition قوي استفاده شود. اگر شبكه بدست آمده از (N,Mo) بوسيله placeهاي مكمل باشد، براي قانون transition ضعيف قابل استفاده است. پس دو شبكه (N,Mo) و معادل هستند بنابراين، تمامي حالتهاي ممكن چرخه آتش آنها برابر مي باشند.

مثالهاي مقدماتي مدلسازي Finite-state Machines-A

-Bفعاليتهاي موازي

-Cمحاسبه جريان داده

D- پروتكل‌هاي ارتباطي

E- كنترل همزماني

F- سيستم توليد كننده‌ها-مصرف كننده‌ها با اولويت

G - زبان‌هاي رسمي

- سيستم هاي مولتي پروسسور H

خاصيتهای رفتاری A.قابليت دسترسي B-محدوديت C- زنده بودن (Livens)

تعاريف زنده بودن - مرده (زنده- )اگر هرگز دنباله آتشي، آتش نشود. - مرده (زنده- )اگر هرگز دنباله آتشي، آتش نشود. زنده- (قابل آتش به صورت پتانسيلي) اگر حداقل يكبار در دنباله آتش بتواند آتش شود. L(Mo) زنده- اگر به ازاي يك اندازه بار بتواند آتش شود. زنده- اگرآتش شدن اغلب در بعضي دنباله آتش نامحدود به نظر برسد. زنده باشد marking زنده - يا زنده اگر در

شکل 16

- توانايي معكوس پذيري و حالت خانه D

E- توانايي پوشانندگي F- سماجت G- فاصله همزماني H- عدالت (Fairness)

- روشهاي تجزيه و تحليل V روش درخت توانايي پوشانندگي روش معادلات ماتريس تكنيك‌هاي كاهش و تجزيه

درخت پوشانندگي -A

ماتريس تلاقي و معادله حالت -B ,K=1,2,3,….

شرط لازم شرط لازم دسترسي Ay=0 (7)

قضيه2:اگر در يك پتري نت (N,Mo)، Md از Mo قابل دسترس باشد، پس بايد جايي كه و Bf از طريق (9) داده شده است. Corollary1 :در پتري نت (N,Mo)، اگر اختلاف يك تركيب خطي از بردارهاي سطري از Bf باشد marking، Md قابل دسترس از طريق نيست كه، كه Z يك بردار غيرصفر ستوني است.

مثال5

- قوانين سادة تبديل (كاهش) براي تجزيه و تحليل c

مثال6

.فاکتورهایزنده‌بودن، سالم بودن و توانايي دسترسي VI .زير كلاسهاي پتري نت A │•t│=│t•│=1 for all t ε T (SM) 1) يك ماشين حالت │•p│=│p•│=1 for all p ε P (MG) 2) يك گراف علامتدار )FC( 3)يك شبکه انتخاب آزاد (EFC) 4)يك شبكة گستردة انتخاب آزاد )AC 5)يك شبكه انتخاب نامتقارن (

ساختارهاي كليدي

معيار سلامت و زنده بودن . B

SM وMG 2)زنده بودن و سلامت در

AC,FC زنده بودن وسلامت درشبكه هاي (3

AC يك شبكه زنده

يك شبكه زنده ناسالم يك شبكه سالم غير زنده

يك شبكه سالم و زنده

زنده AC يك شبکه

.معيار توانايي دسترسي C

روابط بين زير كلاسهاي پتري نت را كه براي معيار توانايي دسترسي

.آناليز و سنتز VII .توانايي دسترسي A

X = (0 2 1 0

كلاسهاي هم ارزي سالم- زنده 1-

MG سالم –زنده 2- قوانين انبساط براي سنتز

E- سنتز MG از طريق ماتريس فاصله همزماني (29) D*D=d

. خواص ساختاري VIII