plc外文论文3.pdf

Int J Adv Manuf Technol (2008) 39:1262–1270
DOI -007-1306-3
ORIGINAL ARTICLE
A PLC programming envvent Systems Specifications) successfully achieve the intended benefits.
formalism, which supports the specification of discrete event Simulation is an essential tool in the design and
models in a hierarchical, modular manner. analysis of complex systems that cannot be easily
described by analytical or mathematical models [5, 6].
Keywords PLC verification . Plant model . It is useful for calculating utilization statistics, finding
Virtual device model . Virtual factory simulation bottlenecks, pointing out scheduling errors and even for
creating manufacturing schedules. Traditionally, various
simulation languages, including ARENA® and Auto-
1 Introduction Mod®, are used for the simulation of manufacturing
systems [14]. Those simulation languages have been
Generally, industrial production lines are dynamic systems widely accepted both in industry and in academia;
whose states change according to the occurrence of various however, they remain as analysis tools for the rough