Ye Zhang, Guoqiang Cai, Limin Jia, Fu Wei. Application of Petri Net with Objects in Safety System Process Modeling. In Hamid R. Arabnia, editor, Proceedings of The 2005 International Conference on E-Business, Enterprise Information Systems, E-Government, and Outsourcing, EEE 2005, Las Vegas, Nevada, USA, June 20-23, 2005. pages 120-126, CSREA Press, 2005.