Zaslať SMS: Hardware Design and Petri Nets /