Čapek, J., Hub, M., & Myšková, R. (2010). Basic authentication procedure modelled by Petri nets. International Journal of Computers and Communications, 10(4), 101–108.