Table of contents

  1. Front Matter
  2. José Meseguer, Ugo Montanari, Vladimiro Sassone
    Pages 16-38
  3. N. Bennacer, G. Florin, C. Fraize, S. Natkin
    Pages 59-78
  4. Gérard Berthelot, Hanifa Boucheneb, Usthb Alger
    Pages 79-98
  5. G. Chiola, G. Franceschinis, R. Gaeta
    Pages 139-158
  6. Søren Christensen, Niels Damgaard Hansen
    Pages 159-178
  7. J. M. Couvreur, E. Paviot-Adet
    Pages 199-218
  8. Michel Diaz, Patrick Sénac
    Pages 219-238
  9. Cheryl Dietz, Gerlinde Schreiber
    Pages 239-257
  10. Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf
    Pages 278-297
  11. Rudolf K. Keller, Marianne Ozkan, Xijin Shen
    Pages 298-317
  12. Maciej Koutny
    Pages 318-337
  13. Charles Lakos, Søren Christensen
    Pages 338-357

About these proceedings

Introduction

This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world.
The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 invited contributions, these papers give a state-of-the-art report on all relevant aspects of Petri nets.

Keywords

algorithms artificial intelligence complex systems computer control hardware management modelling multimedia networks petri net semantics simulation time verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-58152-9
  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58152-9
  • Online ISBN 978-3-540-48462-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology