期刊名称：Journal of Modelling and Simulation of Systems
印刷版ISSN：1737-9377
电子版ISSN：1737-9385
出版年度：2010
卷号：1
期号：1
出版社：HyperSciences Publisher
摘要：Despite the many studies that have attempted to develop "friendly" methods forindustrial controller programming, they are still programmed by conventional trial-and-errormethods, and there is little written documentation on these applications. Accordingly, thispaper proposes a methodology to model plant and control programs for manufacturing systemsthat include sequential, parallel and timed operations, using a formalism based on Statechartdiagrams, denominated Basic Statechart (BSC). To improve the formal aspects of theoriginal Statecharts, we introduce the semantic of the Basic Statecharts using only characteristicsrelevant to the industrial area. We also present an algorithm to create a reachability tree forBSC mo dels and analyze some properties ab out the complete model (plant and control) of theseapplications. One typical example of application in the manufacturing area is presented as casestudy to illustrate the proposed methodology
关键词：Industrial applications; Discrete event systems; System modeling and validation;Programmable logic devices; Basic Statecharts
