Skip to main content
SpringerLink
Log in

A Petri-Net-based method to the design of parallel programs for a multiprocessor system

  • Conference paper
  • First Online:
Book cover Parallel Processing: CONPAR 92—VAPP V (VAPP 1992, CONPAR 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 634))

  • 133 Accesses

Abstract

Petri-Nets have been proven to be an effecient tool to represent complicated systems. Nevertheless, in general it is not easy to transform a technical system, given as a Petri-Net, for implementation on a multiprocessor-system. The main purpose of the present contribution is to construct a general procedure for doing so. Our method can be realized in a purely automatic way as an algorithm having the original Petri-Net as its input and the resulting System of Concurrent State Machines (or, equivalenty, an implementation of these system) as its output.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boillat, J. E. et al: Parallel computing in the 1990's, Universitaet Basel, Institut fuer Informatik, (1991)

    Google Scholar 

  2. Fengler, W.; Philippow, I.: Entwurf industrieller Mikrocompulersysteme, Carl Hanser Verlag Muenchen Wien, (1991)

    Google Scholar 

  3. Hartung, C.A.: Programmierung einer Klasse von Multiprozessorsystemen mit hoeheren Petrinetzen, Aachen, Huethig-Verlag, (1987)

    Google Scholar 

  4. inmos:ANSI-C toolsetuser manual, inmos Limited, (1990)

    Google Scholar 

  5. Lichtblau, U.: Graphtransformationen zur Erkennung adaaehnlicher Kontrollstrukturen,Dortmund, DFG-Forschungsbericht, (1980)

    Google Scholar 

  6. Syrbe, H.: Mikroprozessor-Geraete-Betriebssysteme,TH Ilmenau, WB Computertechnik, Diplomarbeit, (1982)

    Google Scholar 

  7. Unger, H.: Moeglichkeiten der Softwaregenerierung auf der Basis von Petrinetzen, TH Ilmenau, WB Computertechnik, Diplomarbeit, (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Technology Ilmenau, PSF 327, O-6300, Ilmenau, Germany

    Herwig Unger & Khaled Ben Achour

Authors
  1. Herwig Unger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Khaled Ben Achour
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Luc Bougé Michel Cosnard Yves Robert Denis Trystram

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Unger, H., Achour, K.B. (1992). A Petri-Net-based method to the design of parallel programs for a multiprocessor system. In: Bougé, L., Cosnard, M., Robert, Y., Trystram, D. (eds) Parallel Processing: CONPAR 92—VAPP V. VAPP CONPAR 1992 1992. Lecture Notes in Computer Science, vol 634. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55895-0_479

Download citation

  • DOI: https://doi.org/10.1007/3-540-55895-0_479

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55895-8

  • Online ISBN: 978-3-540-47306-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation