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

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

traffic control and modeling of a metro line with timed petri net(case study: part of line 7 of tehran metro)

metro traffic management is related to problems such as routing and re-routing, operation planning and control, performance analysis, safety (design, implementation and verification), real-time scheduling and re-scheduling, etc. the traffic approach investigated in the present work is to prevent disruption of train movement and confirm safety in the stations around the joint of line 7 of tehran metro. the current proposed method is based ontimed colored petri net models, which are suitable for safety investigation due to their capabilities to simultaneously describe the behaviors of all involved components (trains, infrastructure, management system and their structures). by using pipe, the petri model of the system microscopically had created and to show the difference between types of sign in each petri state -e.g. token s in the stations indicates the presence of the train, in switches to show the changes of the switch position, and in the ballis location, the information about the position and speed , etc. a colored petri had added and finally, a time petri was used to show the duration of the train stop at the stations and also the time it takes for the train to go to the next station, and also to avoid overlapping between their paths; the accessibility tree and state space have been observed, and the safety conditions such as no simultaneous presence of two trains in the same block, no moving in the opposite direction and preventing collision of trains and other safety requirements were met .