Events for human-system interaction modeling with IOPT Petri nets | IEEE Conference Publication | IEEE Xplore