Property preserving operation for simplifying Petri nets with inhibitor arcs
MO Li-ping1,YUE Xiaobo2,ZHOU Kai-qing3,ZHANG Zhao-hai4,5
1. College of Information Scinece and Engieering,Jishou University,Jishou Hunan 416000,China 2. College of Computer and Communication Engineering, Changsha University of Science and Technology, Changsha Hunan 410076, China 3. Faculty of Computer Science and Information System,Univeristi Teknologi Malaysia,UTM Skudai Johor 80310,Malaysia 4. 5. China Merchants Bank Zhuzhou Subbranch,Zhuzhou Hunan 412007, China
MO Li-ping YUE Xiaobo ZHOU Kai-qing ZHANG Zhao-hai. Property preserving operation for simplifying Petri nets with inhibitor arcs[J]. Journal of Computer Applications, 2012, 32(11): 3071-3074.