A (Timed) State-Transition Semantics for Reflective Petri Nets | IEEE Conference Publication | IEEE Xplore