keywords BEHAVIOR Computer Science Computer Science, Theory & Methods INHIBITOR NETS PETRI NETS PROCESS SEMANTICS Science & Technology Technology