Petrinetzmaschinen für die Mensch-Agenten-Interaktion