شکل ۴-۱۳- مثالی از گراف شبکه پتری، قبل و بعد از فایر شدن
شبکههای پتری به بنبست رسیده[۵۲]، زنده[۵۳] و غیر زنده
-
-
- شبکه پتریِ به بنبست رسیده: یک شبکه پتری زمانی دچار بنبست شده است که در وضعیتی مانند µt قرار گرفته است که هیچ امکانی برای فایر شدن و انتقال به وضعیت دیگری برای آن وجود ندارد. به عبارت دیگر هیچ گذار فعالی وجود ندارد. نمونهای از بنبست در شکل ۴-۱۴، نشان داده شده است.
-
شکل ۴-۱۴- یک شبکه پتری که دچار بنبست شده
-
- شبکه پتری زنده: حداقل یک گذار فعال در شبکه وجود دارد.
-
- شبکه پتری غیر زنده: اگر در یک لحظه در هیچ یک از مکانها، توکن نداشته باشیم این شبکه پتری را شبکه پتری غیرزنده مینامند.
انواع شبکههای پتری و نحوهی نشانهگذاری آنها
در شکل ۴-۱۵، انواع حالتهایی که با یک شبکه پتری میتوان ایجاد کرد نشان داده شده است.
شکل ۴-۱۵- انواع شبکههای پتری و نحوهی نشانهگذاری آنها
فلوچارتها و شبکههای پتری
نرمافزارهای کامپیوتر و فلوچارتها را نیز میتوان به کمک شبکههای پتری مدل کرد. در شکل ۴-۱۶ گرههای تصمیمگیری، محاسبه فلوچارت و گذارهای شبکه پتری را مشاهده میکنید.
شکل ۴-۱۶- مدلسازی گرههای تصمیمگیریِ فلوچارت با شبکه پتری
در شکل ۴-۱۷، مثالی از مدلسازی فلوچارت با بهره گرفتن از شبکه پتری مشاهده میشود.
a
b
F
F
c
c
T
T
d
f
a
b.T
c.T
c.F
e
f
b.F
d
شکل ۴-۱۷- مدلسازی فلوچارت با شبکه پتری
توسعه پتری
با وجود تمام نقاط قوت، شبکه پتری کلاسیک دارای ضعفهای بسیاری در موقعیتهای عملی است و نمیتوان با آن بسیاری از فعالیتهای عملی را مدلسازی نمود. به همین دلیل پتری در جهتهای مختلف بسط یافته است که سه نوع از مهمترین توسعههای شبکه پتری عبارتند از:
-
- بسط رنگ: شبکه پتری رنگی
-
- بسط زمان: شبکه پتری زمانی[۵۴]
-
- بسط سلسله مراتبی: شبکه پتری سلسله مراتبی[۵۵]
شبکه پتری رنگی
به کمک این خصوصیت بُعد جدیدی به توکنها داده میشود و به این ترتیب توکنها دارای نوع شده و محدوده انتخاب فایر شدنها، اضافه میشود. توکنها، نماینده توابع متفاوتی هستند. به عنوان مثال ما میتوانیم از توکنهای مختلف برای نمایش فراخوانیهای سیستم عامل و یا ردههای متفاوت کارها[۵۶] استفاده کنیم. به کمک این انواع توکنها، مشخص میشود که از میان چندین گذارِ آماده، کدام یک از آنها میتواند عمل کند. در اینجا منظور از رنگ یک صفت ویژه است که میتوان به یک توکن اختصاص داده و آن را از بقیه متمایز نمود.
شبکه پتری زمانی
زمان را میتوان به تمام مؤلفههای یک شبکه پتری اضافه نمود، از جمله: