To-Yat Cheung: Petri nets for protocol engineering. Comput. Commun. 19(14): 1250-1257 (1996)