A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers | ||
| مکانیک سازه ها و شاره ها | ||
| مقاله 4، دوره 2، شماره 3، مهر 1391، صفحه 29-34 اصل مقاله (1.17 M) | ||
| نوع مقاله: مقاله مستقل | ||
| شناسه دیجیتال (DOI): 10.22044/jsfm.2013.153 | ||
| نویسندگان | ||
| علی اکبر پویان* 1؛ زینب مزینانیان2؛ رضا شمس3 | ||
| 1shahroodu of university of technology | ||
| 2Shahrood university of technology | ||
| 3Shahrood University of Technology | ||
| چکیده | ||
| This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high level specification language were offered. Rule-based approach tends to a unified measurement for both ladder logic diagrams and Petri nets. The proposed approach is performed in three levels and its complexity increases 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 superior to ladder logic diagrams. This feature enhances the verifiability of modeled systems. The proposed approach a net system control model, which can be directly compiled to a executable control code for designing and analysis of complex manufacturing systems. | ||
| کلیدواژهها | ||
| Ladder logic diagram؛ Petri net؛ Timed Petri net؛ Programmable logic controllers؛ Manufacturing systems | ||
|
آمار تعداد مشاهده مقاله: 3,231 تعداد دریافت فایل اصل مقاله: 1,933 |
||