PLD implementation of logic controllers
Maciej Adamski, Joao L. Monteiro · 2002
This paper presents a unified design environment of concurrent logic controllers, based on the use of Petri nets, rule-based description languages and PL4 specification languages (especially AMD Palasm 4). The straightforward templates are presented that made possible a rule-based Petri net specification to be simulated and then efficiently synthesised with modern programmable devices. Though the example presented in this paper is relatively trivial, the concepts are directly applicable in the more realistic designs.