He, Leifeng, and Guanjun Liu. “Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams”. Computing and Informatics, vol. 40, no. 5, Dec. 2021, pp. 1174–1196, doi:10.31577/cai_2021_5_1174.