Envoyer par SMS: Reachability analysis of systems basedon Petri nets