Analysis of Transaction Protocols Modelled as Sequences of Rights, Obligations and Prohibitions