Петрашка - это не "сокращенный" Петровско-Разумовский  рынок, это отдельный рынок у метро Речной Вокзал, точнее - на ул. Петрозаводская, именно так и называется. Петровско-Разумовский  называется ТАИС.  А то кто-нить может перепутать))))