1. The Unified Modeling. Language Booch G., Jacobson I., Rumbaugh J. Reference Manual. Addison-Wesley, Boston, 2004.
2. Modeling of Business-Processes. Practical Use of ARIS. Il’in V.V. Vil’yams, Moscow, 2006 (in Russian).
3. Program Glushkov V.M., Gusev V.V., Mar’yanovich T.P., Sakhnyuk M.A. Simulation Means of Continuous and Discrete Systems. Naukova Dumka, Kiev, 1975 (in Russian).
4. Lectures on the Theory Buslenko N.P., Kalashnikov V.V., Kovalenko I.N. of Complex Systems. Sov. Radio, Moscow, 1973 (in Russian).
5. Modeling of Complex Systems. Nauka, Moscow, 1978. Buslenko N.P.
6. Modeling and Design of Complex Systems. Vyshcha Molchanov A.A. Shkola, Kiev, 1988 (in Russian).
7. Systems Simulation: the Art and Science. Prentice-Hall, Shannon R.E. Englewood Cliffs, 1975.
8. Computer Systems Performance Evaluation. Prentice-Hall, Ferrari D. Englewood Cliffs, 1978.
9. A Visual Simulation Support Environment Based on Multi- Derrick E.J faceted Conceptual Framework. Ph.D. Dissertation, Depart. of Computer Sci., Virginia Tech., Blacksburg, 1992.
10. Communicating Sequential Processes. Prentice-Hall, En- Hoare C.A.R. glewood Cliffs, 1985.
11. Calculus of Communicating Systems. Springer Milner R. Science+Business Media, Berlin, 1980, Vol. 92.
12. Process Algebra. Cambridge Univ. Press, Baeten J.C.M., Weijland W.P.Cambridge, 1991.
13. Petri Nets. Nauka, Moscow, 1984 (in Russian). Kotov V.E.
14. Petri Net Theory and the Modeling of Systems. Prentice- Peterson J.L. Hall, Englewood Cliffs, 1981.
15. . Petri Nets and Grafcet. Tools for Modeling Discrete David R., Alla H Event Systems. New York: Prentice Hall, 1992.
16. A History of Discrete Event Simulation Programming Nance R.E. Languages // ACM SIGPLAN Notices. – 1993. – Vol. 28, No. 3. – pp. 149-175. 17. Gusev V.V., Mar’yanovich T.M., Sakhnyuk M.A. Program System NEDIS. Institute of Cybernetics of the AS of the UkrSSR, 1975, Part 1 (in Russian). https://doi.org/10.1145/155360.155368
18. Program System NE- Gusev V.V., Mar’yanovich T.M., Sakhnyuk M.A. DIS. Institute of Cybernetics of the AS of the UkrSSR, 1975, Part 2 (in Russian).
19. SLENG – Program System for Glushkov V.M., Kalinichenko P.A., Mar’yanovich T.M., et al Modeling of Discrete Systems. Institute of Cybernetics of the AS of the UkrSSR, 1969 (in Russian).
20. Simulation Using GPSS. Wiley, New York, 1980. Schriber T.J.
21. Requirements for Model Development Environments // Computers and Operations Balci O. Research. – 1986. – Vol. 13, No. 1. – pp. 53-67. https://doi.org/10.1016/0305-0548(86)90064-X
22. Complex Technical Systems. Vysshaya Shkola, Moscow, 1984 (in Russian). Zheleznov I.G.
23. Modern Problems of Optimum Planning of Regression Experi- Malyutov M.B., Zaigraev A.Yu. ments. Vyshcha Shkola, Kiev, 1989 (in Russian).
24. in: Mathematical Theory of Planning of Experiments. Nauka, Moscow, 1983, Ermakov S.M. pp. 35-51 (in Russian).
25. Statistical Techniques in Simulation. M. Dekker, New York, 1974, Vol. 1. Kleijnen J.P.C.
26. Statistical Techniques in Simulation. M. Dekker, New York, 1974, Vol. 2. Kleijnen J.P.C
27. Technology of System Modeling. Mashinostro- Avramchuk E.F., Vavilov A.A., Emel’yanov S.V. enie, Moscow, 1988 (in Russian).
28. Modeling of Systems. Vysshaya Shkola, Moscow, 2001 (in Rus- Sovetov B.Ya., Yakovlev S.A. sian).
29. Synthesis of Microprogram Automata. Energiya, Leningrad, 1979 (in Russian). Baranov S.I.
30. Algebraic structure theory of sequential machines. New-York: Pren- Hartmanis J., Stearns R. tice-Hall, 1966.
31. On the mathematical description of elements of complex sys- Buslenko N.P., Kovalenko I.N. tems // Dokl. AN SSSR. – 1969. – V. 187, No. 6. – pp. 1222-1224.
32. Theory of Modeling and Simulation. Wiley, New York, 1976. Zeigler B.P.
33. A five level hierarchy for the management of simulation Cellier F.E., Wang Q., Zeigler B.P. models, in: Proc. of the Winter Simulation Conf. IEEEXplore., New Orleans, 1990, pp. 55-64.
34. . Representing and constructing system specifications using the sys- Rozenblit J.W., Zeigler B.P tem entity structure concepts, in: Proc. of the Winter Simulation Conf. ACM, Los Angeles, 1993. – pp. 604-611.
35. Schruben L. Simulation Graphical Modeling with Event Graphs // Communications of the ACM. – 1983. – Vol. 26, No. 11. – pp. 957-963. https://doi.org/10.1145/182.358460
36. SIGMA: Graphical Simulation Modeling. Scientific Press, San Francisco, 1992. Schruben L.
37. Yücesan E., Schruben L. Structural and Behavioral Equivalence of Simulation Models // ACM Transactions on Modeling and Computer Simulation. – 1992. – Vol. 2, No. 1. – pp. 82-103. https://doi.org/10.1145/132277.132281
38. Theory of Modeling and Simulation. Wiley, New York, 1976. Zeigler B.P.
39. Petri Nets: Properties, Analysis and Applications // Proc. of IEEE. – 1989. – Murata T. Vol. 77, No. 4. – pp. 541-580. https://doi.org/10.1109/5.24143
40. Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Ramchandani C. Nets // PhD thesis. – Mas-sachusetts Institute of Technology, Cambridge. – 1973.
41. Use of Petri nets for performance evaluation, in: Measuring, Modeling and Evaluating Sifakis J. Computer Systems. North-Holland, Amsterdam, 1977, pp.75-93
42. Evaluation nets for computer system performance analysis, in: 1972 Fall Joint Com- Nutt G.J. puter Conference, AFIPS Conference Proceedings. – 1973. – Vol. 41. – pp. 279-286.
43. Nets in modeling and simulation, in: Lect. Notes in Comput. Sci., Springer Science+ Noe J.D.+Business Media, Berlin, 1980. – Vol. 84. – P. 347-368. https://doi.org/10.1007/3-540-10001-6_32
44. A Structured Approach to Operational Semantics: Technical Report DAIMI FM- Plotkin G.D. 19, Computer Science Department, Aarhus University, 1981.
45. Bisimulation through probabilistic testing // Information and Computa- Larsen K., Skou A. tion. – 1991. – Vol. 94, No. 1. – P. 1-28. https://doi.org/10.1016/0890-5401(91)90030-6
46. Adding performance aspects to specification languages // Protocol Bochmann G.V., Vaucher J. Specification, Testing and Verification. – 1988. – Vol. 8. – P.19-31.
47. Performance engineering as an integral part of system design // BT Technology Jour- Harvey C. nal.- 1986.- Vol. 4, No. 3.- P. 143-147.
48. A Compositional Approach to Performance Modelling. Cambridge, Univ. Press., Hilston J. Cambridge 1996.
49. Simulation Models for Parallel Asynchronous Methods of Nesterenko B.B., Novotarsky M.A. Mathematical Physics. – Kiev, 1997. – (Prepr. 97-14, Inst. of Mathematics of the NAS of Ukraine) (in Russian).
50. On semantics of Petri nets, in: Lecture Notes in Compu- Meseguer J., Montanari U., Sassone V. Ter Science, Springer Science+Business Media, Berlin, 1992. – Vol. 630. – pp. 286-301.
51. Parallel discrete event simulation // Communication of the ACM. – 1990. – Fujimoto R.M. Vol. 33, No. 10. – pp. 30-53. https://doi.org/10.1145/84537.84545
52. Object-oriented application frameworks // Communications of the Fayad E.M., Schmidt D.C. ACM. – 1997. – Vol. 40, No. 10. – P. 32-38. https://doi.org/10.1145/262793.262798
53. Distributed simulation: a case of study in design and verification of dis- Chande K.M., Misra J. tributed programs // IEEE Trans. on Software Engineering. – 1979. – Vol. 5, No. 5. – pp. 440- 452. https://doi.org/10.1109/TSE.1979.230182
54. Virtual time, in: ACM Transactions on Programming Languages and Systems. – Jefferson D. 1985. – Vol. 7, No. 3. – pp. 405-425. https://doi.org/10.1145/3916.3988
55. Algorithms on Trees and Graphs. Springer, Berlin, 2002. Valiante G.
56. Decidability Questions for Petri Nets: Thesis Ph.D. – Massachusetts Institute of Hack M.H.T. Technology, Dept. of Electrical Engineering and Computer Science. – 1976.
57. Decidability Questions for Bisimilarity of Petri Nets and Some Related Problems: Jancar P. Technical Report ECS-LFCS-93-261. Dept. of Computer Science, Univ. of Ostrava, Ostrava, 1993.
58. The linear time – branching time spectrum, in: Lecture Notes in Computer Sci- Glabbeek R. J. ence, Springer Science+Business Media, Berlin, 1990.- Vol. 458.- pp. 278-297. https://doi.org/10.1007/BFb0039066
59. Communication and Concurrency. Prentice Hall, New York, 1989. Milner R.
60. . Process algebra for hybrid systems // Theoretical Computer Sci- Bergstra J.A., Middelburg C.A ence.- 2005.- Vol. 335, No. 2/3.- pp. 215-208. https://doi.org/10.1016/j.tcs.2004.04.019
61. Network algebra for asynchronous dataflow // Bergstra J.A., Middelburg C.A., Stefanescu Ch.Int. J. of Computer Mathematics.- 1997.- Vol. 65.- pp. 57-88. https://doi.org/10.1080/00207169708804599
62. Stochastic process algebras as a tool for performance Hermanns H., Herzog U., Mertsiotakis V. and dependability modeling, in: Proceedings of IEEE International Computer Performance and Dependability Symposium. – 1995. – pp. 102-111.
63. A GSMP formalism for discrete event simulation // Proceedings of the IEEE. – Glynn P.W. 1989. – Vol. 77, No. 1. – pp. 14-23. https://doi.org/10.1109/5.21067
64. Structured operational semantics and bisimulation as a congruence // Groote J.F., Vaandrage F. Information and Computation. – 1992. – Vol. 100, No. 2. – pp. 202-260. https://doi.org/10.1016/0890-5401(92)90013-6
65. Extensional Equivalence for Transition Systems // Acta Informatica. – 1987. – De Nicola R. Vol. 24, No. 2. – pp. 211-237. https://doi.org/10.1007/BF00264365
66. Trace, failure and testing equivalences for communicating processes // Int. J. of Paral- Main M. lel Programming. – 1987. – Vol. 16, No. 5. – pp. 383-400. https://doi.org/10.1007/BF01407903
67. Cellular neural networks. Theory // IEEE Transactions on Circuits and Chua L.O., Yang L. Systems. – 1988. – Vol. 35, No. 10. – pp. 1257-1272. https://doi.org/10.1109/31.7600
68. The CNN paradigm // IEEE Transactions on Circuits and Systems. – Chua L.O., Roska T. 1993. – Vol. 40, No. 3. – pp. 147-156. https://doi.org/10.1109/81.222795
69. A VLSI-Oriented Continuous-Time CNN Model // Int. J. of Circuit Espejo S., Carmona R. Theory and Applications. – 1996. – Vol. 24, No. 3. – pp. 341-356. https://doi.org/10.1002/(SICI)1097-007X(199605/06)24:3<341::AID-CTA920>3.0.CO;2-L
70. Keresztes P., Zaràndy Á. An emulated digital CNN implementation // J. VLSI signal processing systems for signal, image and video technology. – 1999. – Vol. 23. – pp. 291-303. https://doi.org/10.1023/A:1008141017714
71. A survey of parallel computer architectures / R. Duncan // Computer. – 1990. – Duncan R. Vol. 23. – No. 2. – pp. 5-16. https://doi.org/10.1109/2.44900
72. Homogeneous Universal Computational Systems with High Per- Evreinov E.V., Kosarev Yu.G. formance. Nauka, Novosibirsk, 1978 (in Russian).
73. Neurobiology. Oxford Univ. Press, New York, 1994. Shepherd G.M.
74. Parallel Asynchronous Methods and Means of Modeling of Peristaltic Proc- Novotarskyy M.A. esses : Diss. … Doctor of Techn. Sci.: 01.05.02 – simulation and computational methods. Kyiv, 2010 (in Ukrainian).
75. Freefem++. UPMC-LJLL Press, Paris, 2005. Hecht F.
76. Neural Network Tool Box: for Use with MATLAB. The MathWork, Demuth H., Beale M. Natick, 2005.
77. Parallel computation of three-dimensional flows using Henshaw W.D., Schwendeman D.W. overlapping grids with adaptive mesh refinement // J. Computational Physics. – 2008. – Vol. 227, No. 16. – pp. 7469-7502. https://doi.org/10.1016/j.jcp.2008.04.033