A (timed) state-transition semantics for reflective petri nets