Petri Nets : Theoretical Models and Analysis Methods for Concurrent Systems - Liu, Guanjun (Singapore Springer, 2022)