From high-level Petri nets to SystemC. - Carsten Rust; Achim Rettberg; Kai Gossens (SMC, 2003)