Behavioural aspects of Petri nets / Pieter Willem Hoogers