Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets