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

National Key Laboratory of Advanced Micro and Nano Manufacture Technology, Shanghai Jiao Tong University, Shanghai 200240, China Department of Micro/Nano Electronics, School of Electronic Information ...

Abstract: Accurate detection and segmentation of cell nuclei in volumetric (3D) fluorescence microscopy datasets is an important step in many biomedical research projects. Although many automated ...