Enhanced operational semantics in systems biology