Envoyer par SMS: Hardware Design and Petri Nets /