**7. References**

[1] Adamski, M & Monteiro, J. L., From Interpreted Petri net specification to Reprogrammable Logic Controller Design, In: *Proceedings of the IEEE International Symposium on Industrial Electronics*, 2000, Vol. 1, pp. 13 – 19.

	- [2] Adamski, M.A.; Karatkevich, A. & Węgrzyn, M.. *Design of embedded control systems*, Springer Verlag ; 2005.

**Section 2** 

**Computer Science** 

