Sign in
PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net.
Francisco Raul Ortega
Su Liu
Frank Hernandez
Armando B. Barreto
Naphtali Rishe
Malek Adjouadi
Published in:
HCI (1) (2014)
Keyphrases
</>
petri net
multi touch
reactive systems
colored petri nets
discrete event systems
stochastic petri net
embedded real time systems
computer systems
formal methods
web service composition
sequence diagrams
petri net model
expert systems
hardware and software
low cost
fuzzy petri net
real time