مدل سازی و کنترل ترافیک یک خط مترو با شبکه پتری رنگی-زمانی (موردمطالعه: بخشی از خط ۷ مترو تهران)

مدیریت ترافیک مترو به مشکلاتی از قبیل مسیریابی و مسیریابی مجدد، برنامه ریزی و کنترل عملیات، تجزیه وتحلیل عملکرد،ایمنی (طراحی، اجرا و تائید)، زمان بندی و زمان بندی مجدد در زمان واقعی و مواردی از این قبیل ارتباط دارد. رویکرد ترافیکیموردبررسی در کار حاضر جلوگیری از اختلال درحرکت قطارها و تائید ایمنی در ایستگاه های اطراف اتصال انتهایی خط ۷ مترو تهراناست. روش پیشنهادی فعلی مبتنی بر مدل های شبکه پتری رنگی بازمان است که به دلیل قابلیت های آنها برای توصیف همزمانرفتارهای همه ی اجزای درگیر (قطارها، زیرساخت ها، سیستم مدیریت و ساختارهای آنها) مناسب بررسی ایمنی می باشد. به کمکنرم افزار PIPE مدل پتری سیستم را به صورت میکروسکوپی ایجاد کرده و برای نمایش تفاوت در نوع نشانه در هر مکان پتری به طور مثال نشانه در مکان ایستگاه ها بیانگر حضور قطار، در سوزن ها تغییر وضعیت سوزن و در مکان بالیس، اطلاعات مربوط بهموقعیت و سرعت و ازاین دست می باشد- پتری رنگی را اضافه نموده و در آخر برای نمایش مدت توقف قطار در ایستگاه ها و همچنینمدت زمانی که طول می کشد قطار به ایستگاه بعدی برود و همچنین برای جلوگیری از همپوشانی بین مسیر آنها، از پتری زمانیاستفاده شد؛ درخت دسترس پذیری و فضای حالت مشاهد هشده است و شرایط ایمنی نظیر عدم حضور همزمان دو قطار در یک بلوک،عدم حرکت در جهت مخالف و جلوگیری از برخورد قطارها و سایر نیازهای ایمنی برآورده شد .

Keywords:

مدیریت ترافیک , خط ۷ مترو تهران , مدلساز ی , ایمنی , شبکه پتری رنگی-زمانی