PySPN: An Extendable Python Library for Modeling & Simulation of Stochastic Petri Nets | Publicación