Integrating TwoTowers and GreatSPN through a Compact Net Semantics