Sun Chengfu

Wide‐area smart grids with new smart units synchronized measurement analysis and control based on cloud computing platform

Yilu Liu, Jianyang Zhao, Lingwei Zhan, 2016 .

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).