Advertisement

Bipolar synchronization systems

  • H. J. Genrich
  • P. S. Thiagarajan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 85)

Keywords

Marked Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Petri, C. A.: Kommunikation mit Automaten. Institut für Intrumentelle Mathematik, Schriften des IIM Nr. 2, Bonn, 1962.Google Scholar
  2. 2.
    Genrich, H. J.; Lautenbach, K.; Thiagarajan, P.S: An overview of Net Theory. Course Material of the Advanced course on General Net Theory of Systems and Processes, Hamburg, 1979. (Published by GMD, St. Augustin)Google Scholar
  3. 3.
    Genrich, H. J.; Lautenbach, K.: Synchronisationsgraphen. Acta Informatica 2, pp 143–161, 1973.Google Scholar
  4. 4.
    Commoner, F.; Holt, A. W.; Even, S.; Pnueli, A.: Marked Directed Graphs. J. Computer and System Sc. 5, pp 511–523, 1973.Google Scholar
  5. 5.
    Jump, J. R.; Thiagarajan, P. S.: On the Equivalence of Asynchronous Control Structures. SIAM Journal on Computing, 2, pp 67–87, 1973.Google Scholar
  6. 6.
    Genrich, H. J.; Thiagarajan, P. S.: Bipolar Synchronization Systems. ISF-Report 80.02, GMD, St.Augustin, West Germany (1980).Google Scholar
  7. 7.
    Holt, A. W.: Roles and Activities. Unpublished Monograph, Boston University Academic Computing Centre, 1979.Google Scholar
  8. 8.
    Shapiro, R. M.: Calculating Logical and Probabilistic Dependencies in a Class of Net Models. Internal Report, Meta Information Applications, Inc., Wellfleet, MA, U.S.A., 1975.Google Scholar
  9. 9.
    Yoeli, M.: A Structured Approach to Parallel Programming and Control. Proceedings of the First European Conference on Parallel and Distributed Processing (J. C. Syre, Editor), Toulouse, France, pp 163–170, 1979.Google Scholar
  10. 10.
    Jodwani, N. D; Jump, J. R.: Top-down Design in the Context of Parallel Programs. Information and Control 40, pp 241–257, 1979.Google Scholar
  11. 11.
    Valette, R.: Analysis of Petri Nets by Stepwise Refinement. J. Computer and System Sc., 18, pp 35–46, 1979.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • H. J. Genrich
    • 1
  • P. S. Thiagarajan
    • 1
  1. 1.Institut für Informationssystemforschung (ISF)Gesellschaft für Mathematik und DatenverarbeitungSt. Augustin 1

Personalised recommendations