PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net (2014)

by F R Ortega, S Liu, F Hernandez, A Barreto, N Rishe, M Adjouadi
Venue:In Human-Computer Interaction. Theories, Methods, and Tools