An Evolutionary Approach to the Use of Petri Net based Models: From Parallel Controllers to HW/SW Co-Design Capítulo de livro