A coloured Petri net analysis of the Transaction Internet Protocol. - Christos K. Georgiadis; Elias Pimenidis; Ioannis Kokkinidis (Int. J. Electron. Secur. Digit. Forensics, 2010)