Petri Net Machines for Human-Agent Interaction