Petri Net Based Design of Reconfigurable Embedded. - Carsten Rust; Friedhelm Stappert; Reinhard Bernhardi-Grisson (DIPES, 2002)