In: Theoretical Computer Science, Vol. 71, pages 133-153. 1990.
Abstract: The aim of the paper is to give a general picture of the behavioural aspects of net theory; this is done by presenting a number of behavioural notations which reflect the basic concerns of this theory (eg traces and labelled event structures). The paper concentrates on motivations and basic definitions at the expense of stating theorems.
Keywords: behavioural a spect (of net theory); behavioural notation; trace; labelled event structure.