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