Petri Net Based Design of Reconfigurable Embedded