Advertisement

The analysis of concurrent logic control algorithms

  • A. D. Zakrevskii
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Zakrevskii A.D., Vasiljonok V.K. The formal description of logic control algorithms for designing the discrete systems (Russian). — Elektronnoje modelirovanie, N4 (1984), vol.6, p.79–84.Google Scholar
  2. 2.
    Zakrevskii A.D. The execution of concurrent logic control algorithms on programmed logic arrays (Russian). — Avtomatica i telemekhanica, N7 (1983), p.116–123.Google Scholar
  3. 3.
    Cheremisinova L.D. The execution of concurrent discrete control algorithms by asynchronous automata (Russian). — Avtomatica i vychisliteljnaja technika, N2 (1985), p.65–69.Google Scholar
  4. 4.
    Zakrevskii A.D. Concurrent automaton (Russian). — Doklady AN BSSR, N8 (1984), vol.28, p.717–719.Google Scholar
  5. 5.
    Zakrevskii A.D. The elements of α-net theory (Russian). — In: Proektirovanie sistem logicheskogo upravlenija, Mn.: ITK AN BSSR, 1986, p.4–12.Google Scholar
  6. 6.
    Zakharov V.N. Automata with distributed memory (Russian). — M.: Energija, 1975, 136p.Google Scholar
  7. 7.
    Hack M. Analysis of production schemata by Petri nets. — Project MAC-TR-94. — 264p.Google Scholar
  8. 8.
    Zakrevskii A.D. The reduction method for verification of the correctness of concurrent logic control algorithms (Russian). — Doklady AN BSSR, N7 (1983), vol.27, p.617–619.Google Scholar
  9. 9.
    Tropashko V.V. The proveness of the hypothesis on full reducibility of α-nets (Russian). — In: Proektirovanie sistem logicheskogo upravlenija, Mn.: ITK AN BSSR, 1986, p.13–21.Google Scholar
  10. 10.
    Zakrevskii A.D. Block coding of partial states of automata, performing the concurrent logic control algorithms (Russian). — Jzvestija AN SSSR. Tekhnicheskaja kibernetica, N5 (1983), p.3–11.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • A. D. Zakrevskii
    • 1
  1. 1.Institute of Engineering CyberneticsMinsk, SU

Personalised recommendations