Plant model generation for PLC simulation

References

• Al-Ahmari , AMA and Ridgway , K . 1999 . An integrated modeling method to support manufacturing system analysis and design . Computers in Industry , 38 ( 3 ) : 225 – 238 .
   Web of Science ®Google Scholar
• Alexandre , D . 2003 . A tool architecture for the next generation of UPPAAL Available from http://www.uppaal.com/
   Google Scholar
• Anglani , A . 2002 . Object-oriented modeling and simulation of flexible manufacturing system: a rule-based procedure . Simulation Modeling Practice and Theory , 10 ( 3–4 ) : 209 – 234 .
   Web of Science ®Google Scholar
• Chuang , CP , Lan , X and Chen , JC . 1999 . A systematic procedure for designing state combination circuits in PLCs . Journal of Industrial Technology , 15 ( 3 ) : 2 – 5 .
   Google Scholar
• David , JD . 1998 . Application and benefits of real-time I/O simulation for PLC and PC control system . ISA Transaction , 36 ( 4 ) : 305 – 311 .
   Web of Science ®Google Scholar
• David , R and Alla , H . 1994 . Petri nets for modeling of dynamics systems . Automatica , 30 ( 2 ) : 175 – 202 .
   Web of Science ®Google Scholar
• Fray , G . 2000 . Automatic implementation of Petri net based control algorithms on PLCs . Proceedings of the American control conference ACC 2000 . 2000 , Chicago. pp. 2819 – 2823 .
   Google Scholar
• Groover , MP . 2006 . Fundamentals of modern manufacturing , New York : Wiley .
   Google Scholar
• Hibnio , H , Inukai , T and Fukuda , Y . 2006 . Efficient manufacturing system implementation based on combination between real and virtual factory . International Journal of Production Research , 44 ( 18 ) : 3897 – 3915 .
   Web of Science ®Google Scholar
• IEC . 2003 . International standard IEC 61131-3: programmable controllers , 2nd , International Electro-technical Commission .
   Google Scholar
• Iwata , K . 1995 . A modeling and simulation architecture for virtual manufacturing systems . CIRP , 44 ( 1 ) : 399 – 402 .
   Google Scholar
• Jafari , MA and Boucher , TO . 1994 . A rule-based system for generating a ladder logic control program from a high level system model . Journal of Intelligent Manufacturing Systems , 5 ( 2 ) : 103 – 120 .
   Web of Science ®Google Scholar
• Jang , J , Koo , PH and Nof , SY . 1997 . Application of design and control tools in a multirobot cell . Computers and Industrial Engineering , 32 ( 1 ) : 89 – 100 .
   Web of Science ®Google Scholar
• Kim , GL , Paul , P and Wang , Y . 1997 . UPPAAL in a nutshell . International Journal on Software Tools for Technology Transfer , 1 ( 1/2 ) : 134 – 152 .
   Google Scholar
• Kim , TG . 1994 . DEVSIM++ user's manual , Korea : Department of Electrical Engineering, KAIST .
   Google Scholar
• Klingstam , P and Gullander , P . 1999 . Overview of simulation tools for computer-aided production engineering . Computers in Industry , 38 ( 2 ) : 173 – 186 .
   Web of Science ®Google Scholar
• Lee , JS and Hsu , PL . 2000 . A PLC-based design for the sequence controller in discrete event systems . In: Proceedings of the 2000 IEEE international conference on control applications . 2000 , Anchorage. pp. 929 – 934 .
   Google Scholar
• Manesis , S and Akantziotis , K . 2005 . Automated synthesis of ladder automation circuits based on state-diagrams . Advances in Engineering Software , 36 : 225 – 233 .
   Web of Science ®Google Scholar
• Onosato , M and Iwata , K . 1993 . Development of a virtual manufacturing system by integrating product models and factory models . CIRP , 42 ( 1 ) : 475 – 478 .
   Google Scholar
• Rullan , A . 1997 . Programmable logic controllers versus personal computers for process control . Computers and Industrial Engineering , 33 : 421 – 424 .
   Web of Science ®Google Scholar
• Twiss , E and Zhou , MC . 1998 . Design of industrial automated system via relay ladder logic programming and Petri Nets . IEEE Transactions on Systems, Man, and Cybenetics–Part C , 28 ( 1 ) : 137 – 150 .
   Web of Science ®Google Scholar
• Uzam , M and Jones , AH . 1998 . Discrete event control system design using automation Petri Nets and their ladder diagram implementation . International Journal of Advanced Manufacturing Systems , 14 ( 10 ) : 716 – 728 .
   Web of Science ®Google Scholar
• Ye , L and Lin , F . 1997 . “ Virtual system simulation–A step beyond the conventional simulation ” . In 22nd international conference on computer and industrial engineering 304 – 306 .
   Google Scholar
• Zeigler , BP . 1984 . Multifacetted modeling and discrete event simulation , New York : Academic Press .
   Google Scholar