刘关俊教授（独立）撰写的学术论文“PSPACE-Completeness of the Soundness Problem of Safe  Asymmetric-Choice Workflow Nets“被the 41st International Conference  on Application and Theory of Petri Nets and Concurrency (ICATPN'2020)录用。该论文首次发现并证明安全非对称选择网的活性判定问题是PSPACE完备的，该问题最早由德国科学家E. Best于1982年提出（E. Best教授曾作为Petri先生的助理在Petri先生身边工作多年，是CONCUR国际会议的发起人之一），2002年日本学者A. Ohta与K. Tsuji证明其是NP难的，本文给出了该问题计算复杂度的精准界。ICATPN是Petri网与并发论领域旗帜性期刊，每年录用论文一般不超过23篇。