PNet: A Python Library for Petri Net Modeling and Simulation. - Zhu En Chay; Bing Feng Goh; Maurice H. T. Ling (CoRR, 2023)