References

  1. B.A. Yoakum, S.J. Duranceau, Using oxidation-reduction potential to manage media filters treating sulfide-laden groundwater, Desal. Water Treat., 101I (2018) 1–6.
  2. I. Skoczko, J. Piekutin, Efficiency of manganese removal from water in selected filter beds, Desal. Water Treat., 57 (2016) 1611–1619.
  3. I.I. Moon, C.J. Powers, J.R. Burch, E.M. Clarke, Automatic verification of sequential control systems using temporal logic, AIChE J., 38(1) (1992) 67–75.
  4. E. Van Zyl, A.P. Engelbrecht, Group-based stochastic scaling for PSO velocities, IEEE Congress on Evolutionary Computation, 2016, pp. 66–73.
  5. Y.F Chen., Z.W. Li, M. Khalgui, O. Mosbahi, Design a maximally permissive liveness-enforcing supervisor for flexible manufacturing system, IEEE Trans. Auto. Sci. Eng., 8(2) (2011) 374–393.
  6. C. Sun, H. Tao, X. Guo, Adaptive interferences suppression algorithm after subarray configuration for large-scale antenna array, IET Electron. Lett., 52(1) (2016) 7–8.
  7. J. Vojtesek, P. Dostal, Adaptive control of water level in real model of water tank, Proc. ICPC, 2015, pp. 308–313.
  8. I. Miyazawa, N. Kobayashi, T. Sekiguchi, The Modelling and Analyzing of Sequential Control Systems Using Invariant Properties of Petri net, SMC IEEE conference, 1996, pp. 451–456.
  9. J. Belikov, S. Nomm, E.P. Etlentkov, K. Vassiljeva, Application of Neural Networks Based SANARX Model for Identification and Control Liquid Level Tank System, Proc. ICS, 2013, pp. 246–251.
  10. Y. Cai, I. Nishii, T. Sekiguchi, Modelling by Petri net with place invariants for sequential control systems, electrical engineering in Japan, Scripta Technica, Inc., 115(5) (1995) 100–101.
  11. M. Gong, Discrete particle swarm optimization for high-order graph matching, Inform. Sci., 328 (2016) 158–171.
  12. O. Bruna, Z. Vana, Parameters Identification of a Chemical Tank: A case study,” Mediterranean Conference on Control & Automation (MED), Barcelona, Spain (2012) 241–246.
  13. C.S. Meera, P.S. Sairam, S.S, R. Singh, R. Kumar, J. Emmanuel, Automated Precise Liquid Transferring System, IEEE conference (2014) 18–25.
  14. G. Rozenburg, J. Engelfriet, Elementary Net Systems. In Reisig, W.; Rozenberg, G. Lectures on Petri Nets I: Basic Models – Advances in Petri Nets. Lecture Notes in Computer Science, 1491 (1998) 12–121.