model:

logical process or lp:

event:

channel:

topology:

lp configuration:

lp state:

lp behaviour:

eventtimestamp:

eventtype:

event information:

simulation algorithm: