Question: Is it often called just Petersburg (-RRB- and is informally known as Piter (-RRB-?
Answer: Yes