Table of contents

  1. Front Matter
  2. Wilfried Brauer, Robert Gold, Walter Vogler
    Pages 1-46
  3. B. Bütler, R. Esser, R. Mattmann
    Pages 47-63
  4. Janette Cardoso, Robert Valette, Didier Dubois
    Pages 64-78
  5. J. M. Colom, M. Silva
    Pages 113-145
  6. Jean Michel Couvreur, Javier Martínez
    Pages 146-164
  7. Jörg Desel, Agathe Merceron
    Pages 165-185
  8. C. Dutheillet, S. Haddad
    Pages 186-209
  9. Javier Esparza, Manuel Silva
    Pages 210-242
  10. Javier Esparza, Manuel Silva
    Pages 243-286
  11. Gérard Florin, Claude Kaiser, Stéphane Natkin
    Pages 287-312
  12. Peter Huber, Kurt Jensen, Robert M. Shapiro
    Pages 313-341
  13. Younes Souissi, Gérard Memmi
    Pages 457-470
  14. P. David Stotts, Richard Furuta
    Pages 471-490

About these proceedings

Introduction

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON.

Keywords

Bridge Coloured Petrinets Complexity Concurrency Komplexität Net design Netz (Math.) Netzentwurf Petrinet models Verteilte Verarbeitung algorithm algorithms geometry petri net sets

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-53863-1
  • Copyright Information Springer-Verlag 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-53863-9
  • Online ISBN 978-3-540-46369-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book