FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS

Authors

  • B. B. Nesterenko Institute of mathematics of National Academy of Science of Ukraine, Ukraine
  • M. O. Novatorskyi Institute of mathematics of National Academy of Science of Ukraine, Ukraine

DOI:

https://doi.org/10.15802/stp2007/17608

Keywords:

tools for modeling, discrete systems, mutual similarity

Abstract

 In the paper principles of formal representation of discrete systems and their models are considered. Definitions of straightforward similarity, back similarity and bisimilarity between systems and their models are given. The structure of formal means and their evolution is briefly described. The new version of networks for modeling complex discrete systems with asynchronous interaction of components is offered.

Author Biographies

B. B. Nesterenko, Institute of mathematics of National Academy of Science of Ukraine

B. B. Nesterenko

M. O. Novatorskyi, Institute of mathematics of National Academy of Science of Ukraine

M. O. Novatorskyi

Downloads

Published

2007-08-25

How to Cite

Nesterenko, B. B., & Novatorskyi, M. O. (2007). FORMAL TOOLS FOR SIMULATION OF COMPLEX DISCRETE SYSTEMS. Science and Transport Progress, (17), 156–161. https://doi.org/10.15802/stp2007/17608

Issue

No. 17 (2007): ISSUE 17

Section

TRANSPORT AND ECONOMIC TASKS MODELING

License

Copyright and Licensing

This journal provides open access to all of its content.
As such, copyright for articles published in this journal is retained by the authors, under the terms of the Creative Commons Attribution 4.0 International License (CC BY 4.0). The CC BY license permits commercial and non-commercial reuse. Such access is associated with increased readership and increased citation of an author's work. For more information on this approach, see the Public Knowledge Project, the Directory of Open Access Journals, or the Budapest Open Access Initiative.

The CC BY 4.0 license allows users to copy, distribute and adapt the work in any way, provided that they properly point to the author. Therefore, the editorial board of the journal does not prevent from placing published materials in third-party repositories. In order to protect manuscripts from misappropriation by unscrupulous authors, reference should be made to the original version of the work.