An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets. - Hiroyuki Okamura; Kazuya Morihara; Tadashi Dohi (VALUETOOLS, 2020)