1. Lecture Notes in Computer Science;A. Aalto,2003
2. Mashukov, M., Churina, T.: Modeling SDL-specifications via coloured Petri nets. Institute of Informatics Systems, Russian Academy of Sciences, Novosibirsk 144, 1–70 (preprint, 2007) (in Russian)
3. Cohen, R., Segall, A.: An efficient reliable ring protocol. IEEE Transactions on Communications 39(11), 1616–1624 (1991)
4. Fisher, J., Dimitrov, E.: Verification of SDL 1992 specifications using extended Petri nets. In: Proc. IFIP 15th Intern. Symp. on Protocol Specification, Testing and Verification, Warsaw, Poland, pp. 455–458 (1995)
5. Lecture Notes in Computer Science;H. Fleischhack,1998