A Bicategorical Approach To Transition Systems