Concurrency in Functional Descriptions

  • Raul Camposano
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 52)

Abstract

Functional descriptions are used to specify digital systems in the design method showed in /1, 2, 3/. They are formulated in a language called RNL /4, 5/. To obtain the control structure and the topology of the data structure of the specified digital system, functional descriptions are converted into an intermediate model, a net, by the algorithms given in /3/. The intention of this paper is to show how concurrency is defined and how it is introduced into a functional description. It is investigated, in which way different, equivalent degrees of concurrency can be derived and maximized, and how the notion of maximal concurrency is influenced by the restrictions imposed on the functional descriptions.

Keywords

Cute 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. /1/.
    Wojtkowiak, H.: Registertransferabläufe auf Netzen, Beschreibung und Synthese. Hochschulverlag Stuttgart, 1979Google Scholar
  2. /2/.
    Wojtkowiak, H., Camposano, R.: Digital Systems Design with Nets: An Example. 3rd Meeting 1979 of the German Chapter of the ACMGoogle Scholar
  3. /3/.
    Camposano, R., Rosenstiel, W.: Algorithmische Synthese deterministischer (Petri-)Netze aus Ablaufbeschreibungen digitaler Systeme. Universität Karlsruhe, Institut für Informatik IV, Report 22 /80, 1980Google Scholar
  4. /4/.
    Klein, H.: Entwurf einer Sprache für die Synthese von RT-Strukturen mit Hilfe von Netzen. Universität Karlsruhe, Institut für Informatik IV, Diploma Thesis 1977Google Scholar
  5. /5/.
    Rosenstiel, W. RNL - A language for digital systems design based on nets. Included in this proceedingsGoogle Scholar
  6. /6/.
    Petri, C.A.: Introduction to General Net Theory. Springer Lecture Notes in Computer Science 84, 1979Google Scholar
  7. /7/.
    Genrich, H., Lautenbach, K., Thiagarajan, P.: An Overview of Net Theory. Springer Lecture Notes in Computer Science 84, 1979Google Scholar
  8. /8/.
    Petri, C.A.: Concurrency. Springer Lecture Notes in Computer Science 84, 1979.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Raul Camposano
    • 1
  1. 1.Institut für Informatik IV (Prof.Dr.D.Schmid)Universität KarlsruheKarlsruhe 1Germany

Personalised recommendations