SMS versenden: Reachability analysis of systems basedon Petri nets