Ma Xinjian

Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net

Lu Songfeng, Sun Chengfu, Ma Xinjian, 2007, Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007).

tui jin jiao xue gai ge ti gao che gong jiao xue shui ping

Ma Xinjian, 2012 .