A Coalgebraic presentation of structured transition systems