1. Petri Nets: Properties, Analysis and Application
MURATA

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

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

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

5. مثال1

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

7. مثال2

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

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

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

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

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

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

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

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

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

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

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

19. شکل 16

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

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

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

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

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

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

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

27. مثال5

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

29. مثال6

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

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

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

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

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

37. AC يك شبكه زنده

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

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

40. زنده AC يك شبکه

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

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

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

47. X = (

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

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

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

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