Invia SMS: Petri Nets for Systems Engineering :