Sputnik is a stochastic Petri net library written in Python