Algebraic Petri Nets and Their Applications. - Chieh-ying Kan; Xudong He (ACM Conference on Computer Science, 1994)

High-level algebraic Petri nets. - Chieh-ying Kan; Xudong He (Inf. Softw. Technol., 1995)

Deriving algebraic Petri net specifications from structured analysis - a case study. - Chieh-ying Kan; Xudong He (Inf. Softw. Technol., 1995)

A Method for Constructing Algebraic Petri Nets. - Chieh-ying Kan; Xudong He (J. Syst. Softw., 1996)