Petri net objects for the design, validation and prototyping of user-driven interfaces.

Rmi Bastide, Philippe A. Palanque

Browse the full Interact paper archive.