S- and T-invariants in cyber net systems. - Chongyi Yuan (J. Comput. Sci. Technol., 1995)

A Net-Based Multi-tier Behavior Inheritance Modelling Method. - Shengyuan Wang; Jian Yu 001; Chongyi Yuan (Ershov Memorial Conference, 2001)

A Pragmatic Behavior Subtyping Relation Based on Both States and Actions. - Shengyuan Wang; Jian Yu 001; Chongyi Yuan (J. Comput. Sci. Technol., 2001)

Solving Inheritance Anomaly with OMNets. - Jian Yu 001; Shengyuan Wang; Chongyi Yuan (J. Comput. Sci. Technol., 2002)

Mapping PUNITY to UniNet. - Guofu Zhou; Chongyi Yuan (J. Comput. Sci. Technol., 2003)

Towards the Future: Bring Program Correctness back to the focus. - Chongyi Yuan; Lijie Wen 001; Xiongliang Yan (CoRR, 2022)

Principle of Petri Nets - Chongyi Yuan (Springer, 2025)