Asynchronous control device design by net model behavior simulation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1091, Issue , 1996, Pages 497-515

  Varshavsky, V I ^a   Marakhovsky, V B ^a  

^a UNIVERSITY OF AIZU   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS SEQUENTIAL LOGIC; PETRI NETS; RECONFIGURABLE HARDWARE; SEMANTICS;

ASYNCHRONOUS CONTROL; CIRCUIT LEVELS; CIRCUIT MODULES; DISCRETE EVENTS; MINIMIZATION PROCEDURES; NET MODEL; PETRI NET MODELS; SEMANTIC INTERPRETATION;

DISCRETE EVENT SIMULATION;

EID: 84957659359     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_27     Document Type: Conference Paper

References (12)

1. Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Technical report Schriften des IIM Nr. 3, Institut für Instrumentelle Mathematik, Bonn (1962)
2. Chu, T.-A.: Synthesis of Self-Timed VLSI Circuits from Graph-Theoretic Specifications. PhD thesis, MIT/LCS/TR-393, MIT Laboratory for Computer Science, June (1987)
3. Kishinevsky, M., Kondratyev, A., Taubin, A. and Varshavsky, V.: Concurrent Hardware. The Theory and Practice of Self-timed Design, J.Wiley and Sons (1993)
4. Astanovsky, A.,Varshavsky, V., Marakhovsky, V., et al.: Aperiodical Automata. Ed. by V.Varshavsky, Moscow, Nauka, (1976) (in Russian)
5. Varshavsky, V., Kishinevsky, M., Marakhovsky, V., et al.: Self-timed Control of Concurrent Processes. Ed. by V.Varshavsky, Kluver Academic Publishers (1990) (Russian Edition - 1986).
6. Muller,D.E.,Bartky, W.S.: Theory of Asynchronous Circuit. Univ. of Illinois, Digital Comput. Lab., Rep. 75, 78, pt.1(1966), pt.2(1967)
7. Blanchard, M., Gillon, J., Cavarroc, J.C.: Concertion Modulaire à Automatismes Industriels Asynchronos. Jomée AFCET, Grenoble, Prance (1972)
8. Tiusanen, M.: Some unsolved Problems in Modeling Self-timed Circuits Using Petri Nets. Bulletin of the European Association for Theoretical Computer Sciences, 36, October (1988) 152-160
9. Varshavsky, V.I., Marakhovsky. V.B., et al.: A Cell of Asynchronous Signal Distributor. USSR Patent Certificate Number 758940, The Inventions Bulletin, 8 (1980)
10. Varshavsky, V.I., Tiusanen, M.: Hardware Support of Concurrent Processes Interaction and Synchronization: on the Principle of Auto-correct Implementation. Helsinki University of Technology, Digital System Laboratory. Series B: Technical Reports, 4, May (1988)
11. Muller, D.E.: Lecture Notes on Asynchronous Circuit Theory. Digital Computer Laboratory, University of Illinois, Urbana, Spring (1961)
12. Miller, R.E.: Switching Theory II. Sequential Circuits and Machines. John Wiley and Sons, New York (1965)