A graphical simulator for programmable logic controllers based on Petri nets

Abstract

In this paper an extended Petri net, the programmable logic controller net (PLCNet) is defined. A rule-based PLCNet simulator has been designed based on the semantics of PLCNets, with facilities provided to set up and control simulation. Both step and time responses are provided for the presentation of simulation results. A graphical environment is provided for the construction of the PLCNet, simulation and the presentation of simulation results.