keywords Computer Science Computer Science, Theory & Methods INHIBITOR NETS MODELING CONCURRENCY RELATIONAL STRUCTURES SEMANTICS Science & Technology Technology