صفحه اصلي

لينک هاي مرتبط

تماس با ما

عضويت در سايت


تعريف شبکه هاي پتري


اجزاي شبکه هاي پتري

ابزاري مناسب براي مدل سازي بر پايه منطق رياضي بصورت گرافيكي مي باشد با وجود اينکه در واقع پتري نت گرافيکي است اما پايه قوي رياضي دارد.
از پتري نت مي توان براي مدل سازي توصيف و تحليل سيستم هايي که ماهيتي همزمان ، توزيع شده ، موازي و يا اتفاقي هستند استفاده کرد .
از خصوصيات مهم پتري نت قابل اجرابودن آن است و بر خلاف uml در شبكه هاي پتري همواره تجزيه و تحليل و پياده سازي بصورت همزمان صورت مي گيرد . از همين ويژگي مي توان براي ارزيابي رفتار و کارايي يک سيستم به صورت همزمان بهره برد .

1. Place : (مكان) براي نگهداري موقت token ها
2. Transition : (انتقال) مركز فعاليت که بر روي token اثر مي گذارد و شايد token جديد ايجاد كند
3. Arc : (کمان) مسير حركت tokenها در گراف شبكه پتري
4. token : نشانه يا مهره

گراف شبکه هاي پتري

براي اينكه مدل سازي ديناميكي بكار رود لازم است تا عنصر ديگري بنام token به شبکه پتري بالا اضافه شود كه در مكان ها (Place) قرار مي گيرد .
به نحوه توزيع توكن ها در شبكه هاي پتري در اصلاح علامتگذاي ( PN marking) مي گويند .
علامت گذاري باعث فعال شدن انتقال ها مي شود .