The reachability problem for Petri nets and decision problems for Skolem arithmetic