From high-level Petri nets to SystemC.

Carsten Rust, Achim Rettberg, Kai Gossens

Browse the full SMC paper archive.