Petri Nets - Guanjun Liu (Springer, 2022)