Logic Petri Nets and Equivalency
Yu Yue Du, Binbin Guo · Information Technology Journal · 2008
(1) College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266510, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China