Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2013, Article ID 721624, 9 pages
Research Article

Component-Based Formal Modeling of PLC Systems

1College of Information Engineering, Capital Normal University, Beijing 100048, China
2National Lab for ISAT, Beijing 100048, China
3College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, China

Received 8 February 2013; Accepted 27 February 2013

Academic Editor: Xiaoyu Song

Copyright © 2013 Rui Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Rui Wang, Yong Guan, Luo Liming, Xiaojuan Li, and Jie Zhang, “Component-Based Formal Modeling of PLC Systems,” Journal of Applied Mathematics, vol. 2013, Article ID 721624, 9 pages, 2013.