The paper provides a new approach for automated reasoning in a logic program using extended Petri net models. The design includes extension of classical linear resolution of first order logic clauses ...

Research on a basic programming logic controller (PLC) kit designing and creation for teaching in the programmable logic controller course here resulted from the recognition on problems related to the ...