Advertisement

Cybernetics and Systems Analysis

, Volume 53, Issue 1, pp 105–114 | Cite as

Design of Grid Structures on the Basis of Transition Systems with the Substantiation of the Correctness of Their Operation

  • S. L. Kryvyi
  • Y. V. Boyko
  • S. D. Pogorilyy
  • O. F. Boretskyi
  • M. M. Glybovets
SOFTWARE–HARDWARE SYSTEMS

Abstract

A method for designing a grid system on the basis of transition systems and their synchronous products is considered. The obtained global transition system is translated into a Petri net (PN). With the help of the PN, design decisions are checked for correctness, in particular, for the absence of deadlocks, dead transitions, etc.

Keywords

grid structure transition systems Diophantine equations 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Yu. V. Boyko, V. M. Volokhov, M. M. Glybovets, S. V. Yershov, S. L. Kryvyi, S. D. Pogorilyy, O. I. Rolik, S. F. Telenyk, and M. V. Yasochka, Methods and Newest Approaches to the Design, Management, and Application of High-Performance IT Infrastructures [in Ukrainian], A. V. Anisimov (ed.), Taras Shevchenko National University of Kyiv, Kyiv (2016).Google Scholar
  2. 2.
    Yu. V. Boiko, M. G. Zinovyev, S. Ya. Svistunov, and O. O. Sudakov, “Ukrainian academic grid: Experience of creation and first results of exploitation,” Mathematical Machines and Systems, Vol. 1, No. 1, 67–84 (2008).Google Scholar
  3. 3.
    Ye. A. Slyusar, “Automated file replication service for the organization of high data accessibility in a grid infrastructure,” Control System and Computers, No. 4 (240), 63–74 (2012).Google Scholar
  4. 4.
    S. L. Kryvyi, Linear Diophantine Constraints and Their Application [in Ukrainian], Bukrek, Chernivtsi (2015).Google Scholar
  5. 5.
    S. D. Pogorilyy, Yu. V. Boyko, R. I. Levchenko, and V. A. Maryanovskyy, Methods of Cluster Computing [in Ukrainian], S. D. Pohorilyi (ed.), Kyiv (2013).Google Scholar
  6. 6.
    O. O. Sudakov and Yu. V. Boiko, “GRID resources of the data-processing center of the Taras Shevchenko National University of Kyiv,” in: Proc. Vth Intern. Sci.-Pract. Conf. on Programming UkrPROG’2006, Kyiv (2006); Problems in Programming, Nos. 2–3, 165–169 (2006)Google Scholar

Copyright information

© Springer Science+Business Media New York 2017

Authors and Affiliations

  • S. L. Kryvyi
    • 1
  • Y. V. Boyko
    • 1
  • S. D. Pogorilyy
    • 1
  • O. F. Boretskyi
    • 1
  • M. M. Glybovets
    • 2
  1. 1.Taras Shevchenko National University of KyivKyivUkraine
  2. 2.National University of “Kyiv-Mohyla Academy”KyivUkraine

Personalised recommendations