Open AccessVerifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams
Author(s) -
Leifeng He,
Guanjun Liu
Publication year - 2021
Publication title -
computing and informatics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.149
H-Index - 28
eISSN - 2585-8807
pISSN - 1335-9150
DOI - 10.31577/cai_2021_5_1174
Subject(s) - reachability , petri net , binary decision diagram , computer science , model checking , theoretical computer science , graph , computation , computation tree logic , encode , algorithm , biochemistry , chemistry , gene