Institute of Chemical materials, China Academy of Engineering Physics, Mianyang, Sichuan 621900, P. R. China School of Physics, University of Electronic Science and Technology of China, Chengdu 610054 ...

Abstract: This paper presents an ordinary Petri net (PN)-based approach to the modeling and race-detection problems of programs for programmable logic controllers (PLCs). First, a PLC program is ...