Abstract
We discuss the problem of designing asynchronous control devices for discrete event coordination specified by a Petri net model. The design is based on the compilation of standard circuit modules corresponding to PN fragments into a net modeling PN behavior and on the semantic interpretation of the modeling circuit. The impossibility of asynchronous implementation of the indivisible operation of marking change at the circuit level leads to the necessity of modeling PN with modified rules of marking change. Modifications of the known modules, a number of new module types, the rules of the module connections, and the procedures of minimization are given that considerably improve the quality of the obtained solutions in terms of both speed and area. The design “reefs” are fixed. The minimization procedures are usually associated with a change of marking change rules producing the problems of providing the equivalence of the initial and modified PNs.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Technical report Schriften des IIM Nr. 3, Institut für Instrumentelle Mathematik, Bonn (1962)
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)
Kishinevsky, M., Kondratyev, A., Taubin, A. and Varshavsky, V.: Concurrent Hardware. The Theory and Practice of Self-timed Design, J. Wiley and Sons (1993)
Astanovsky, A., Varshavsky, V., Marakhovsky, V., et al.: Aperiodical Automata. Ed. by V. Varshavsky, Moscow, Nauka, (1976) (in Russian)
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).
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)
Blanchard, M., Gillon, J., Cavarroc, J.C.: Concertion Modulaire à Automatismes Industriels Asynchronos. Jornée AFCET, Grenoble, France (1972)
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
Varshavsky, V.I., Marakhovsky, V.B., et al.: A Cell of Asynchronous Signal Distributor. USSR Patent Certificate Number 758940, The Inventions Bulletin, 8 (1980)
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)
Muller, D.E.: Lecture Notes on Asynchronous Circuit Theory. Digital Computer Laboratory, University of Illinois, Urbana, Spring (1961)
Miller, R.E.: Switching Theory II. Sequential Circuits and Machines. John Wiley and Sons, New York (1965)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Varshavsky, V.I., Marakhovsky, V.B. (1996). Asynchronous control device design by net model behavior simulation. In: Billington, J., Reisig, W. (eds) Application and Theory of Petri Nets 1996. ICATPN 1996. Lecture Notes in Computer Science, vol 1091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61363-3_27
Download citation
DOI: https://doi.org/10.1007/3-540-61363-3_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61363-3
Online ISBN: 978-3-540-68505-0
eBook Packages: Springer Book Archive