Table of contents

  1. Front Matter
  2. M. Ajmone Marsan, G. Chiola, A. Fumagalli
    Pages 30-50
  3. Charles Andre
    Pages 51-76
  4. Ludmila A. Cherkasova, Vadim E. Kotov
    Pages 77-104
  5. Jörg Desel, Agathe Merceron
    Pages 105-127
  6. Raymond Devillers
    Pages 128-150
  7. Frits Feldbrugge
    Pages 151-178
  8. Hartmann J. Genrich
    Pages 179-208
  9. S. Haddad
    Pages 209-235
  10. Theodor Hildebrand, Nicolas Trèves
    Pages 262-280
  11. David May, Roger Shepherd
    Pages 329-353
  12. Manuel Silva, Robert Valette
    Pages 374-417
  13. Heikki Tuominen
    Pages 453-466

About these proceedings

Keywords

Petri net models Petri-Netz-Modelle Problemkomplexität Prozeßalgebra concurrent systems distributed systems konkurrente Systeme logic petri net problem complexity process algebra semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-52494-0
  • Copyright Information Springer-Verlag 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-52494-6
  • Online ISBN 978-3-540-46998-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book