1. Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems;Hu;IEEE Trans. Systems Man Cybern.,2011
2. Model checking of a cash machine system;Jindal,2014
3. Petri nets and industrial applications: a tutorial;Zurawski;IEEE Trans. Ind. Electron.,1994
4. Available at: www.intel.com/content/www/us/en/internet-of-things/infographics/guide-to-iot.html?_ga=2.10187893.1353703903.1513862346-1617407283.1513862346, accessed: 2018-02-07.
5. Reconfigurable FPGAs for real time image processing in space;Dawood,2002