Invia SMS: Reachability analysis of systems basedon Petri nets