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
  14. Kurt Lautenbach, Hanno Ridder
    Pages 358-375
  15. Kjeld H. Mortensen, Valerio Pinci
    Pages 376-395
  16. Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia
    Pages 416-435
  17. W. Ruckdeschel, R. Onken
    Pages 436-453
  18. Gert Scheschonk, Michael Timpe
    Pages 454-470
  19. C. Sibertin-Blanc
    Pages 471-490
  20. Enrique Teruel, Manuel Silva
    Pages 491-510
  21. Mikko Tiusanen
    Pages 511-530
  22. Alex Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno
    Pages 568-587
  23. Back Matter

About these proceedings


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.


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment