A (Timed) State-Transition Semantics for Reflective Petri Nets.

Lorenzo Capra

Browse the full SYNASC paper archive.