Modeling and simulating optical computing architectures

  • I. R. JonesJr.
  • V. P. Heuring
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)


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.


Optical computing Petri nets timed Petri nets colored Petri nets system modeling simulation discrete event systems. 


  1. [1]
    Cathey, W.T. (1993) Promises and Prospects of Optoelectronic Computing. LEOS Conference Proceedings, IEEE Lasers and Electro-Optics Society Annual Meeting, 69–70.Google Scholar
  2. [2]
    Chen, W-K. (1990) Graphs and Networks, Maximum Flows in Networks., Theory of Nets: Flows in Networks, John Wiley & Sons.Google Scholar
  3. [3]
    David, R. and Alla, H. (1992) Petri Nets and Grafcet — Tools for Modeling Discrete Event Systems. Prentice-Hall.Google Scholar
  4. [4]
    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.Google Scholar
  5. [5]
    Ferrarini, L. (1992, May/June) An Incremental Approach to Logic Controller Design with Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, 22, 3.Google Scholar
  6. [6]
    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.Google Scholar
  7. [7]
    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.CrossRefGoogle Scholar
  8. [8]
    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.Google Scholar
  9. [9]
    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.CrossRefGoogle Scholar
  10. [10]
    Murata, T. (1989, April) Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77, 4.CrossRefGoogle Scholar
  11. [11]
    Neff, J.A. (1992) Optoelectronic Arrays for Hybrid Optical/Electronic Computing. Proceedings of SPIE — Advances in Optical Information Processing V, 1704, SPIE, 44–54.Google Scholar
  12. [12]
    Waxman, R., Bergé, J-M., Levia, O., and Rouillard, J. (1996) High-Level System Modeling: Specification and Design Methodologies, Kluwer Academic Publishers.zbMATHCrossRefGoogle Scholar
  13. [13]
    Zuberek, W. M. (1991) Timed Petri Nets: Definitions, Properties, and Applications. Microelectronics and Reliability, 31, 4, 627–644.CrossRefGoogle Scholar

Copyright information

© IFIP 1998

Authors and Affiliations

  • I. R. JonesJr.
    • 1
  • V. P. Heuring
    • 1
  1. 1.Department of Electrical and Computer EngineeringUniversity of ColoradoBoulderUSA

Personalised recommendations