How to model behavioural and cognitive complexity in human-computer interaction with Petri nets

Decisions and actions produced by computer users (observed process) contain much information about their mental models, individual problem solving strategy and underlying decision structure for a given task. Our tool AMME analyses observed processes and automatically extracts a Petri net description of the task dependent decision structure (logical structure). This net is extended by goal setting structures (modelling) and executed (simulated process). The aim is functional equivalence between observed and simulated processes. Three modelling strategies, event-driven, parallel goal setting, and feedback controlled goal setting types, are presented.