Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions