A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

سال انتشار: 1391
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 606

فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_JSFM-2-3_008

تاریخ نمایه سازی: 13 مرداد 1394

چکیده مقاله:

This paper describes an evaluation through a case study by measuring a rule-based approach for designing sequence controllers. The increasing complexity and functionality of modern discrete event manufacturing systems have challenged the traditional tools and design methods based on ladder logic diagrams (LLDs) for designing programmable logic controllers (PLC). Furthermore, while the complexity and functionality of manufacturing systems increases, designing flexible, reusable, and maintainable control software becomes more difficult. Petri nets as a high level specification language are an emerging technique in designing control software systems for complex manufacturing systems. It is used for modeling, analysis and simulation of industrial automated systems. The proposed rule based approach tends to a unified measurement. This is performed in three levels. System complexity increases in a step by step and incremental fashion level by level. We have shown that, when the levels are more complex, Petri nets are more tractable and more verifiable. Moreover, it can be concluded that Petri nets are more efficient than ladder logic diagrams in designing control software systems.

نویسندگان

A. A. Pouyan

Assist. Prof., School of Computer Engineering, Shahrood University of Technology, Shahrood, Iran

Z Mazinanian

M.Sc. Student in Computer Engineering, Shahrood University of Technology, Shahrood, Iran

R Shams

M.Sc. Student in Computer Engineering, Shahrood University of Technology, Shahrood, Iran