Optimal state assignment of synchronous parallel automata

Design of Embedded Control Systems

Volumn , Issue , 2005, Pages 111-124

  Pottosin, Yury ^a  

^a UNITED INSTITUTE OF INFORMATICS PROBLEMS   (Belarus)

Author keywords

parallelism; state encoding; synchronous parallel automata

Indexed keywords

EID: 34547273408     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/0-387-28327-7_10     Document Type: Chapter

References (21)

1. S. M. Achasova, O. L. Bandman, Correctness of Concurrent Computing Processes. Nauka, Siberian Division, Novosibirsk (1990) (in Russian).
2. M. Adamski, M. Wegrzyn, Field programmable implementation of current state machine. In: Proceedings of the Third International Conference on Computer-Aided Design of Discrete Devices (CAD DD'99), Vol. 1, Institute of Engineering Cybernetics, National Academy of Sciences of Belarus, Minsk pp. 442 (1999).
3. L. D. Cheremisinova, State assignment for parallel synchronous automata. Izvestia AN BSSR, Ser. Fisiko-Tehnicheskih Nauk, 1 86-91 (1987) (in Russian).
4. L. D. Cheremisinova, Yu. V. Pottosin, Assignment of partial states of a parallel synchronous automaton. In: Proceedings of the International Conference on Computer-Aided Design of Discrete Devices (CAD DD'95). Wydawnictwo Uczelniane Politechniki Szczecinskiej, Minsk-Szczecin, pp. 85-88 (1995).
5. M. R. Garey, D. S. Johnson, Computers and Intractability: A Guide to the Theory on NP-Completeness. W. M. Freeman & Company, San Francisco, CA (1979).
6. M. T. Hack, Analysis of production schemata by Petri nets. Project MAC TR-94, Cambridge (1972).
7. F. Harary, Graph Theory. Addison-Wesley Publishing Company, Reading, MA (1969).
8. A. Karatkevich, Hierarchical decomposition of safe Petri nets. In: Proceedings of the Third International Conference on Computer-Aided Design of Discrete Devices (CAD DD'99), Vol. 1. Institute of Engineering Cybernetics, National Academy of Sciences of Belarus, Minsk pp. 34-39 (1999).
9. A. V. Kovalyov, Concurrency relation and the safety problem for Petri nets. In: Proceedings of the 13th International Conference on Application and Theory of Petri Nets, Sheffild, pp. 299-309 (1992).
10. Yu. V. Pottosin, Covering a graph by complete bipartite subgraphs. In: Design of Discrete Systems. Institute of Engineering Cybernetics of Academy of Sciences of Belarus, Minsk pp. 72-84 (1989) (in Russian).
11. Yu. V. Pottosin, Finding maximum complete bipartite subgraphs in a graph. In: Automatization of Logical Design of Discrete Systems. Institute of Engineering Cybernetics of Academy of Sciences of Belarus, Minsk pp. 19-27 (1991) (in Russian).
12. Yu. V. Pottosin, A method for encoding the partial states of a parallel automaton with minimal-length codes. In: Automatic Control and Computer Sciences, Vol. 6. Allerton Press, Inc., New York, pp. 45-50 (1995).
13. Yu. V. Pottosin, Generating parallel automata. In: Methods and Algorithms for Logical Design. Institute of Engineering Cybernetics of Academy of Sciences of Belarus, Minsk pp. 132-142 (1995) (in Russian).
14. N. R. Toropov, Research CAD System for Discrete Control Devices: Materials on Software for Computers. Institute of Engineering Cybernetics of Academy of Sciences of Belarus, Minsk (1994) (in Russian).
15. V. V. Tropashko, Proof of the conjecture of complete reducibility of a-nets. In: Design of Logical Control Systems. Institute of Engineering Cybernetics of Academy of Sciences of BSSR, Minsk pp. 13-21 (1986) (in Russian).
16. A. D. Zakrevskij, Optimal coverage of sets. In: A Programming Language for Logic and Coding Algorithms. ASM Monograph Series, Academic Press, New York, London, pp. 175-192 (1969).
17. A. D. Zakrevskij, Combinatorics of logical design. Avtomatika i Vychislitelnaya Tekhnika, 2 68-79 (1990) (in Russian).
18. A. D. Zakrevskij, Optimization of matrix of partial state assignment for parallel automata. In: Formalization and Automatization of Logic Design. Institute of Engineering Cybernetics, Academy of Sciences of Belarus, Minsk pp. 63-70 (1993) (in Russian).
19. A. D. Zakrevskij, Parallel logical control algorithms: verification and hardware implementation. Computer Science Journal of Moldova, 4(1), 3-19, (1996).
20. A. D. Zakrevskij, Parallel Algorithms for Logical Control. Institute of Engineering Cybernetics, National Academy of Sciences of Belarus, Minsk (1999) (in Russian).
21. A. Zakrevskij, I. Vasilkova, A quick algorithm for state assignment in parallel automata. In: Proceedings of the Third International Conference on Computer-Aided Design of Discrete Devices (CAD DD'99), Vol. 1. Institute of Engineering Cybernetics, National Academy of Sciences of Belarus, Minsk pp. 40-44 (1999).