V. Albert and C. Et-foucher, Site web prodevs URL: https://www.laas.fr, 2018.

, Site officiel zedboard, Avnet, 2018.

A. Bukowiec, Distributed control systems design as petri nets for fpgas, International Journal of Design Analysis and Tools for Integrated Circuits and Systems (IJDATICS), vol.4, pp.1-9, 2013.

A. Dunkels, lwip -a lightweight tcp/ip stack URL: https, 2018.

L. Gomes, A. Costa, J. Barros, and P. Et-lima, From Petri net models to VHDL implementation of digital controllers, IECON 2007, 33rd Annual Conference of the IEEE Industrial Electronics Society, pp.94-99, 2007.
DOI : 10.1109/IECON.2007.4460403

, Site officiel freertos URL: https, Real Time Engineers Ltd, 2018.

E. Soto and M. Et-pereira, Implementing a petri net specification in a fpga using vhdl, Design of Embedded Control Systems, pp.167-174, 2005.

W. Egrzyn, M. Et-w-egrzyn, and A. , 9 PeNLogic ??? System for Concurrent Logic Controllers Design, Design of Digital Systems and Devices, pp.215-228, 2011.
DOI : 10.1007/978-3-642-17545-9_9

, Zynq-7000 all programmable soc data sheet: Overview. URL: https://www.xilinx.com/support/documentation, Xilinx, 2017.

B. P. Zeigler, T. G. Kim, and H. Et-praehofer, Theory of Modeling and Simulation, 2000.