Events for human-system interaction modeling with IOPT Petri nets.

Rogério Campos-Rebelo Anikó Costa Luís Gomes

Published in: HSI (2013)

Keyphrases

petri net
colored petri nets
stochastic petri net
discrete event systems
petri net model
manufacturing systems
sequence diagrams
human activities
service composition
concurrent systems
embedded real time systems
human subjects
ims ld
reactive systems
state machines