{"id":1861,"date":"2022-01-25T09:34:45","date_gmt":"2022-01-25T09:34:45","guid":{"rendered":"https:\/\/akademperiodyka.org.ua\/en\/?p=1861"},"modified":"2026-02-03T13:58:14","modified_gmt":"2026-02-03T13:58:14","slug":"formal_means_of_the_simulation_of_parallel_processes_and_systems","status":"publish","type":"post","link":"https:\/\/akademperiodyka.org.ua\/en\/books\/formal_means_of_the_simulation_of_parallel_processes_and_systems\/","title":{"rendered":"Formal Means of the Simulation of Parallel Processes and Systems"},"content":{"rendered":"
\n
\n
Project: Ukrainian scientific book in a foreign language<\/div>\n<\/div>\n
\n
Authors: B.B. Nesterenko, M.A. Novotarskyi<\/strong><\/div>\n<\/div>\n
\n
Year: 2016<\/div>\n<\/div>\n
\n
Pages: 194<\/div>\n<\/div>\n
\n
ISBN: 978-966-360-309-4<\/div>\n<\/div>\n
\n
Publication Language: English<\/div>\n<\/div>\n
\n
Publisher: PH “Akademperiodyka”<\/div>\n<\/div>\n
\n
Place Published: Kyiv<\/div>\n<\/div>\n
\n
doi: https:\/\/doi.org\/10.15407\/akademperiodyka.309.194<\/a><\/div>\n<\/div>\n<\/div>\n
<\/div>\n
\n
\n<\/div>\n
\n
\n
\n
\n
The book is devoted to problems of the mathematical simulation of compli\u00adcated systems and processes that include problems of the development of the means of formalization that are able to ensure a sufficient level of similarity of mathematical models under condition of their efficient realization on modern computing facilities.<\/div>\n
For the construction of the modem mathematical models of complicated sys\u00adtems and processes, it is proposed to use APRO-nets. For the analytic description of complicated systems and processes, the process algebra that allows one to create models with real workload is proposed. The sample of formal description of a com\u00adputing environment for the simulation of complicated systems and processes in cluster systems is presented.<\/div>\n
This book can be useful to scientists, engineers and students in the field of computer simulation.<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n
<\/div>\n
\n
\n<\/div>\n
\n
\n
\n
\n
You can ordering book in SA “UKRINFORMNAUKA”<\/a><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n
<\/div>\n
\n
\n<\/div>\n
\n
\n
References:<\/div>\n
\n
\n

1. The Unified Modeling. Language Booch G., Jacobson I., Rumbaugh J. Reference Manual. Addison-Wesley, Boston, 2004.<\/p>\n

2. Modeling of Business-Processes. Practical Use of ARIS. Il’in V.V. Vil’yams, Moscow, 2006 (in Russian).<\/p>\n

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).<\/p>\n

4. Lectures on the Theory Buslenko N.P., Kalashnikov V.V., Kovalenko I.N. of Complex Systems. Sov. Radio, Moscow, 1973 (in Russian).<\/p>\n

5. Modeling of Complex Systems. Nauka, Moscow, 1978. Buslenko N.P.<\/p>\n

6. Modeling and Design of Complex Systems. Vyshcha Molchanov A.A. Shkola, Kiev, 1988 (in Russian).<\/p>\n

\u00a07. Systems Simulation: the Art and Science. Prentice-Hall, Shannon R.E. Englewood Cliffs, 1975.<\/p>\n

8. Computer Systems Performance Evaluation. Prentice-Hall, Ferrari D. Englewood Cliffs, 1978.<\/p>\n

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.<\/p>\n

10. Communicating Sequential Processes. Prentice-Hall, En- Hoare C.A.R. glewood Cliffs, 1985.<\/p>\n

11. Calculus of Communicating Systems. Springer Milner R. Science+Business Media, Berlin, 1980, Vol. 92.<\/p>\n

12. Process Algebra. Cambridge Univ. Press, Baeten J.C.M., Weijland W.P.Cambridge, 1991.<\/p>\n

13. Petri Nets. Nauka, Moscow, 1984 (in Russian). Kotov V.E.<\/p>\n

14. Petri Net Theory and the Modeling of Systems. Prentice- Peterson J.L. Hall, Englewood Cliffs, 1981.<\/p>\n

15. . Petri Nets and Grafcet. Tools for Modeling Discrete David R., Alla H Event Systems. New York: Prentice Hall, 1992.<\/p>\n

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<\/a><\/p>\n

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).<\/p>\n

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).<\/p>\n

20. Simulation Using GPSS. Wiley, New York, 1980. Schriber T.J.<\/p>\n

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<\/a>(86)90064-X<\/p>\n

22. Complex Technical Systems. Vysshaya Shkola, Moscow, 1984 (in Russian). Zheleznov I.G.<\/p>\n

23. Modern Problems of Optimum Planning of Regression Experi- Malyutov M.B., Zaigraev A.Yu. ments. Vyshcha Shkola, Kiev, 1989 (in Russian).<\/p>\n

24. in: Mathematical Theory of Planning of Experiments. Nauka, Moscow, 1983, Ermakov S.M. pp. 35-51 (in Russian).<\/p>\n

25. Statistical Techniques in Simulation. M. Dekker, New York, 1974, Vol. 1. Kleijnen J.P.C.<\/p>\n

26. Statistical Techniques in Simulation. M. Dekker, New York, 1974, Vol. 2. Kleijnen J.P.C<\/p>\n

27. Technology of System Modeling. Mashinostro- Avramchuk E.F., Vavilov A.A., Emel’yanov S.V. enie, Moscow, 1988 (in Russian).<\/p>\n

28. Modeling of Systems. Vysshaya Shkola, Moscow, 2001 (in Rus- Sovetov B.Ya., Yakovlev S.A. sian).<\/p>\n

29. Synthesis of Microprogram Automata. Energiya, Leningrad, 1979 (in Russian). Baranov S.I.<\/p>\n

30. Algebraic structure theory of sequential machines. New-York: Pren- Hartmanis J., Stearns R. tice-Hall, 1966.<\/p>\n

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.<\/p>\n

32. Theory of Modeling and Simulation. Wiley, New York, 1976. Zeigler B.P.<\/p>\n

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.<\/p>\n

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.<\/p>\n

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<\/a><\/p>\n

36. SIGMA: Graphical Simulation Modeling. Scientific Press, San Francisco, 1992. Schruben L.<\/p>\n

37. Y\u00fccesan 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<\/a><\/p>\n

38. Theory of Modeling and Simulation. Wiley, New York, 1976. Zeigler B.P.<\/p>\n

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<\/a><\/p>\n

40. Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Ramchandani C. Nets \/\/ PhD thesis. – Mas-sachusetts Institute of Technology, Cambridge. – 1973.<\/p>\n

41. Use of Petri nets for performance evaluation, in: Measuring, Modeling and Evaluating Sifakis J. Computer Systems. North-Holland, Amsterdam, 1977, pp.75-93<\/p>\n

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.<\/p>\n

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<\/a><\/p>\n

44. A Structured Approach to Operational Semantics: Technical Report DAIMI FM- Plotkin G.D. 19, Computer Science Department, Aarhus University, 1981.<\/p>\n

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<\/a>(91)90030-6<\/p>\n

46. Adding performance aspects to specification languages \/\/ Protocol Bochmann G.V., Vaucher J. Specification, Testing and Verification. – 1988. – Vol. 8. – P.19-31.<\/p>\n

47. Performance engineering as an integral part of system design \/\/ BT Technology Jour- Harvey C. nal.- 1986.- Vol. 4, No. 3.- P. 143-147.<\/p>\n

48. A Compositional Approach to Performance Modelling. Cambridge, Univ. Press., Hilston J. Cambridge 1996.<\/p>\n

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).<\/p>\n

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.<\/p>\n

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<\/a><\/p>\n

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<\/a><\/p>\n

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<\/a><\/p>\n

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<\/a><\/p>\n

55. Algorithms on Trees and Graphs. Springer, Berlin, 2002. Valiante G.<\/p>\n

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.<\/p>\n

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.<\/p>\n

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<\/a><\/p>\n

59. Communication and Concurrency. Prentice Hall, New York, 1989. Milner R.<\/p>\n

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<\/a><\/p>\n

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<\/a><\/p>\n

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.<\/p>\n

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<\/a><\/p>\n

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<\/a>(92)90013-6<\/p>\n

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<\/a><\/p>\n

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<\/a><\/p>\n

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<\/a><\/p>\n

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<\/a><\/p>\n

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\/<\/a>(SICI)1097-007X(199605\/06)24:3<341::AID-CTA920>3.0.CO;2-L<\/p>\n

70. Keresztes P., Zar\u00e0ndy \u00c1. 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<\/a><\/p>\n

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<\/a><\/p>\n

72. Homogeneous Universal Computational Systems with High Per- Evreinov E.V., Kosarev Yu.G. formance. Nauka, Novosibirsk, 1978 (in Russian).<\/p>\n

73. Neurobiology. Oxford Univ. Press, New York, 1994. Shepherd G.M.<\/p>\n

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).<\/p>\n

75. Freefem++. UPMC-LJLL Press, Paris, 2005. Hecht F.<\/p>\n

76. Neural Network Tool Box: for Use with MATLAB. The MathWork, Demuth H., Beale M. Natick, 2005.<\/p>\n

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<\/a><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

Project: Ukrainian scientific book in a foreign language Authors: B.B. Nesterenko, M.A. Novotarskyi Year: 2016 Pages: 194 ISBN: 978-966-360-309-4 Publication Language: English Publisher: PH “Akademperiodyka” Place Published: Kyiv doi: https:\/\/doi.org\/10.15407\/akademperiodyka.309.194 The book is devoted to problems of the mathematical simulation of compli\u00adcated systems and processes that include problems of the development of the means of […]<\/p>\n","protected":false},"author":1,"featured_media":1862,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4,21,24],"tags":[],"class_list":["post-1861","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-books","category-scientific_monographs","category-ukrainian_scientifical_book"],"_links":{"self":[{"href":"https:\/\/akademperiodyka.org.ua\/en\/wp-json\/wp\/v2\/posts\/1861","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/akademperiodyka.org.ua\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/akademperiodyka.org.ua\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/akademperiodyka.org.ua\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/akademperiodyka.org.ua\/en\/wp-json\/wp\/v2\/comments?post=1861"}],"version-history":[{"count":6,"href":"https:\/\/akademperiodyka.org.ua\/en\/wp-json\/wp\/v2\/posts\/1861\/revisions"}],"predecessor-version":[{"id":7333,"href":"https:\/\/akademperiodyka.org.ua\/en\/wp-json\/wp\/v2\/posts\/1861\/revisions\/7333"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/akademperiodyka.org.ua\/en\/wp-json\/wp\/v2\/media\/1862"}],"wp:attachment":[{"href":"https:\/\/akademperiodyka.org.ua\/en\/wp-json\/wp\/v2\/media?parent=1861"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/akademperiodyka.org.ua\/en\/wp-json\/wp\/v2\/categories?post=1861"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/akademperiodyka.org.ua\/en\/wp-json\/wp\/v2\/tags?post=1861"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}