Advertisement

Reduction of Petri-nets

  • G. Berthelot
  • G. Roucairol
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. 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. 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. 3.
    K. GOSTELOW, et al ... Proper termination of flow of control in programs involving concurrent processes. SIGPLAN Notices, 7, 11, 1972.Google Scholar
  4. 4.
    M.H. HACK. Analysis of production schemata by Petri nets. TR 94, Project MAC, M.I.T. 1972.Google Scholar
  5. 5.
    R.M. KARP, R.E. MILLER. Parallel program schemata. JCSS 3, 2 1969Google Scholar
  6. 6.
    R.M. KELLER. Vector replacement systems. Tech. Rept. 117, Computer Science Laboratory Princeton University, 1974.Google Scholar
  7. 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. 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. 9.
    C.A. PETRI. Concepts of net theory. Proc. of the Symp. on MFCS 73, High-Tatras, 1973.Google Scholar
  10. 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. 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. 12.
    R. SETHI. Testing for the Church-Rosser property. JACM Vol. 21, n°4, Oct. 1974.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • G. Berthelot
    • 1
  • G. Roucairol
    • 1
  1. 1.Institut De ProgrammationParisFrance

Personalised recommendations