Carsten Rust Friedhelm Stappert Reinhard Bernhardi-Grisson Petri Net Based Design of Reconfigurable Embedded. 41-50 2002 conf/ifip10-3/2002dipes DIPES db/conf/ifip10-3/dipes2002.html#RustSB02