Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Reduction of Petri-nets

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1976 (MFCS 1976)

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

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.

Bibliography

  1. G. BERTHELOT, G. MEMMI. Analyse et réductions de réseaux de Petri. Rapport de DEA Institut de Programmation, Juin 1975.

    Google Scholar 

  2. E. BEST, H.A. SCHMID. Systems of open paths in Petri-nets. Proc. of the Symp. on MFCS 75, Lect. notes in Comp. Sc. n°32, Springer-Verlag ed.

    Google Scholar 

  3. K. GOSTELOW, et al ... Proper termination of flow of control in programs involving concurrent processes. SIGPLAN Notices, 7, 11, 1972.

    Google Scholar 

  4. M.H. HACK. Analysis of production schemata by Petri nets. TR 94, Project MAC, M.I.T. 1972.

    Google Scholar 

  5. R.M. KARP, R.E. MILLER. Parallel program schemata. JCSS 3, 2 1969

    Google Scholar 

  6. R.M. KELLER. Vector replacement systems. Tech. Rept. 117, Computer Science Laboratory Princeton University, 1974.

    Google Scholar 

  7. K. LAUTENBACH, H.A. SCHMID. Use of Petri-nets for proving correctness of concurrent process systems. IFIP 1974, North-Holland Publ. Comp. 1974.

    Google Scholar 

  8. A. MAZURKIEWICZ. Parallel recursive program schemes. Proc. of the Symp. on MFCS 75, Lect. notes in Comp. Sc n°32, Springer-Verlag ed.

    Google Scholar 

  9. C.A. PETRI. Concepts of net theory. Proc. of the Symp. on MFCS 73, High-Tatras, 1973.

    Google Scholar 

  10. G. ROUCAIROL. Une transformation de programmes séquentiels en programmes parallèles. Symp. on Programming, Paris, Lect. in Comp. Sc. n°19, Springer-Verlag ed.

    Google Scholar 

  11. G. ROUCAIROL. Two transformations of single-assignment programs. Communication to the 2° Conference on Petri-nets and their related methods, M.I.T., July 1975.

    Google Scholar 

  12. R. SETHI. Testing for the Church-Rosser property. JACM Vol. 21, n°4, Oct. 1974.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut De Programmation, 4, Place Jussieu, 75005, Paris, France

    G. Berthelot & G. Roucairol

Authors
  1. G. Berthelot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Roucairol
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Antoni Mazurkiewicz

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Berthelot, G., Roucairol, G. (1976). Reduction of Petri-nets. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_175

Download citation

  • DOI: https://doi.org/10.1007/3-540-07854-1_175

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-38169-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation