Skip to main content
Springer Nature Link
Log in

FIFO nets: A new model of parallel computation

  • Contributed Papers
  • Conference paper
  • First Online:
Theoretical Computer Science

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

Abstract

We introduce a new model of parallel computation, namely the FIFO nets. First, we introduce some basic definitions. A restriction of this model has the power of the Turing machine. Monogeneous Fifo nets are then introduced. The coverability tree is a procedure to decide whether a monogeneous net is bounded or not. At last, regularity is decidable for monogeneous nets.

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.

V-Bibliography

  1. : G.W. BRAMS "Réseaux de Petri: théorie et pratique" (tome 1) Masson — Paris (1982).

    Google Scholar 

  2. : A. FINKEL "Monogeneous FIFO Petri nets" — 3rd European Workshop on applications and theory of Petri net — Varenna — Italy (September 1982)

    Google Scholar 

  3. : A. FINKEL — "Deux Classes de Réseaux à files: Les Réseaux Monogènes et les Réseaux Préfixes" — Thèse de 3ème cycle — Paris VII (Octobre 1982).

    Google Scholar 

  4. : H.J. GENRICH & K. LAUTENBACH "The analysis of distributed systems by means of predicate/transition nets". Semantics of Concurrent Computation (G. KAHN ed.) L.N.C.S. 70 pp 123–146 — Springer Verlag — (1979).

    Google Scholar 

  5. : K. JENSEN "Coloured Petri nets and the invariant method". T.C.S. Vol. 14, no 3, pp. 317–336 (June 1981).

    Google Scholar 

  6. : R.M. KARP & R.E. MILLER "Parallel program schemata" J. Comput. System Sci. 3 (4), pp. 167–195 (1969).

    Google Scholar 

  7. : T. KASAI & R. E. MILLER "Homomorphisms between models of parallel computation". Research Report IBM — RC 7796 (33742) (1979).

    Google Scholar 

  8. : R. MARTIN & G. MEMMI "Spécification et validation de système temps réel à l'aide de réseaux de Petri à files", Revue Technique THOMSONCSF, Vol. 13, no 3, pp. 635–653 (September 1981).

    Google Scholar 

  9. : G. MEMMI — Thèse d'Etat — Paris VI — to appear.

    Google Scholar 

  10. : M. MINSKY "Computation: finite and infinite machines" Prentice-Hall, Englewood Cliffs N.J. (1967).

    Google Scholar 

  11. : B. VAUQUELIN & P. FRANCHI-ZANNETTACCI "Automates à files" TCS 11 pp. 221–225 (1980).

    Google Scholar 

  12. : R. VALK & G. VIDAL-NAQUET "Petri nets and regular languages" J.C.S.S. Vol. 23, no 3, pp. 299–325 (december 1981).

    Google Scholar 

  13. : G. VIDAL-NAQUET "Rationalité et déterminisme dans les réseaux de Petri", Thèse d'Etat — Paris VI — (1981).

    Google Scholar 

  14. : "Méthodologie d'analyse et de programmation des systèmes" Rapport final du marché d'études DAII no 79-35-059 (1981).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Thomson-CSF Laboratoire Central de Recherches Domaine de Corbeville, BP 10, 91401, Orsay Cedex, France

    A. Finkel & G. Memmi

Authors
  1. A. Finkel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Memmi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Armin B. Cremers Hans-Peter Kriegel

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Finkel, A., Memmi, G. (1982). FIFO nets: A new model of parallel computation. In: Cremers, A.B., Kriegel, HP. (eds) Theoretical Computer Science. Lecture Notes in Computer Science, vol 145. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0036474

Download citation

  • DOI: https://doi.org/10.1007/BFb0036474

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11973-9

  • Online ISBN: 978-3-540-39421-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics