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

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.