Taffarel Brant-Ribeiro, Rafael Dias Araújo, Igor Mendonça, Michel S. Soares, Renan G. Cattelan: A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets. ICEIS (2) 2015: 37-48