L. He and G. Liu, “Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams”, Comput. Inform., vol. 40, no. 5, pp. 1174–1196, Dec. 2021.