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