Invia SMS: The mathematics of Petri nets /