مدلسازي و پياده سازي مفاهيم بلاك ثابت يك شبكه خط بسته ريلي با استفاده از شبكه پتري

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