Formal Means of the Simulation of Parallel Processes and Systems

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
The book is devoted to problems of the mathematical simulation of compli­cated 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.
For the construction of the modem mathematical models of complicated sys­tems 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­puting environment for the simulation of complicated systems and processes in cluster systems is presented.
This book can be useful to scientists, engineers and students in the field of computer simulation.
References: 

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