Abstract
The major issues in system design are timing, synchronization, and control. In designing free-space optical computing architectures, the application of CAD tools is necessary because of the high degree of system complexity, parallelism and concurrency; in conjunction with the high cost and lack of availability of devices. Current CAD tools lack the expressiveness to model system structure and behavior of parallel and concurrent architectures. Thus, making them inefficient and ineffective.
Petri nets, in comparison to other system modeling methodologies, are shown to be more efficient and effective at expressing the functional, behavioral, and structural properties of parallel and concurrent architectures. This paper shows how an extended version of the standard Petri net, a timed-colored Petri net (TCPN), is used to model and simulate free-space optoelectronic computing architectures.
Chapter PDF
Similar content being viewed by others
Keywords
References
Cathey, W.T. (1993) Promises and Prospects of Optoelectronic Computing. LEOS Conference Proceedings, IEEE Lasers and Electro-Optics Society Annual Meeting, 69–70.
Chen, W-K. (1990) Graphs and Networks, Maximum Flows in Networks., Theory of Nets: Flows in Networks, John Wiley & Sons.
David, R. and Alla, H. (1992) Petri Nets and Grafcet — Tools for Modeling Discrete Event Systems. Prentice-Hall.
Denham, M. J. (1988) A Petri-Net Approach to the Control of Discrete-Event Systems. Advanced Computing Concepts and Techniques in Control Engineering. NATO ASI Series, F47, Springer-Verlag, 191–214.
Ferrarini, L. (1992, May/June) An Incremental Approach to Logic Controller Design with Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, 22, 3.
Gajski, D., Dutt, N., Wu, A.. and Lin, S.. (1992) Architectural Models in Synthesis, Design Representation and Transformations, High-Level Synthesis — Introduction to Chip and System Design, Kluwer Academic Publishers.
Heuring, V.P. Ji, Lian H. Feuerstein, R.J. and V. Morozov. (1994, November 10) Toward a Free-Space Parallel Optoelectronic Computer: A 300-Mhz Optoelectronic Counter using Holographic Interconnects. Applied Optics, 33, 32, 7579–7587.
Hinton, H.S., Cloonan, T.J., McCormick, F.B., Tooley, F.A.P.and Lentine, A.L. (1994, November) Free-Space Digital Optical Systems. Proceedings of the IEEE — Special Issue on Optical Computing, 82, 11, 1632–1649.
Jensen, K. and Rosenberg, G. (1991) Coloured Petri Nets: A High Level Language for System Design and Analysis, High-Level Petri Nets: Theory and Applications, Springer-Verlag Berlin, Heidelberg.
Murata, T. (1989, April) Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77, 4.
Neff, J.A. (1992) Optoelectronic Arrays for Hybrid Optical/Electronic Computing. Proceedings of SPIE — Advances in Optical Information Processing V, 1704, SPIE, 44–54.
Waxman, R., Bergé, J-M., Levia, O., and Rouillard, J. (1996) High-Level System Modeling: Specification and Design Methodologies, Kluwer Academic Publishers.
Zuberek, W. M. (1991) Timed Petri Nets: Definitions, Properties, and Applications. Microelectronics and Reliability, 31, 4, 627–644.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP
About this chapter
Cite this chapter
Jones, I.R., Heuring, V.P. (1998). Modeling and simulating optical computing architectures. In: Horspool, R.N. (eds) Systems Implementation 2000. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35350-0_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-35350-0_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2873-5
Online ISBN: 978-0-387-35350-0
eBook Packages: Springer Book Archive