A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets. - Xudong He; Yingjia Ding (IFIP Congress (1), 1992)

Object Orientation in Hierarchical Predicate Transition Nets. - Xudong He; Yingjia Ding (Concurrent Object-Oriented Programming and Petri Nets, 2001)