Ha. Barker et al., GRAPHICAL SIMULATOR FOR PROGRAMMABLE LOGIC CONTROLLERS BASED ON PETRINETS, Microprocessing and microprogramming, 41(10), 1996, pp. 737-756
In this paper an extended Petri net, the programmable logic controller
net (PLCNet) is defined. A rule-based PLCNet simulator has been desig
ned 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 prese
ntation of simulation results.