added process semantics or net of the example