A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach