Advertisement

Application and Theory of Petri Nets 1998

19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings

  • Jörg Desel
  • Manuel Silva

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1420)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Invited Papers

  3. Full Papers

    1. Marco Ajmone Marsan, Carla-Fabiana Chiasserini, Andrea Fumagalli
      Pages 44-63
    2. J. Ezpeleta, F. García-Vallés, J. M. Colom
      Pages 64-83
    3. Lars Michael Kristensen, Antti Valmari
      Pages 104-123
    4. Hans Fleischhack, Bernd Grahlmann
      Pages 144-164
    5. Elmar Bihler, Walter Vogler
      Pages 185-204
    6. Mark-Oliver Stehr
      Pages 205-225
    7. E. Bertino, G. Chiola, L. V. Mancini
      Pages 266-285
    8. Peter Langner, Christoph Schneider, Joachim Wehler
      Pages 286-305
    9. Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
      Pages 306-325
    10. Rossano Gaeta, Marco Ajmone Marsan
      Pages 326-344
    11. Ekkart Kindler, Hagen Völzer
      Pages 345-364
    12. Ekkart Kindler, Tobias Vesper
      Pages 365-384
  4. Back Matter
    Pages 385-385

About these proceedings

Introduction

This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets. The aim of the Petri net conference is to create a forum for the dissemination of the latest results in the application and theory of Petri nets. It always takes place in the last week of June. Typically there are 150 - 200 participants. About one third of these come from industry while the rest are from universities and research institutions. The conferences and a number of other activities are coordinated by a steering committee with the following members: G. Balbo (Italy), J. Billington (Australia), G. DeMichelis(Italy),C. Girault(France),K. Jensen (Denmark), S. Kumagai (Japan), T. Murata (USA), C. A. Petri (Germany; honorary member), W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chairman), M. Silva (Spain). The 19th conference has been organized for the rst time in Portugal, by the Department of Electrical Engineering of the Faculty of Sciences and Technology of the New University of Lisbon, together with the Center for Intelligent Robotics of UNINOVA. It takes place in Lisbon at the same time as EXPO’98, the last world exhibition of the 20th century.

Keywords

ATM Colored Petri Nets Networking Petri Nets Process Management Program Semantics model checking network petri net semantics

Editors and affiliations

  • Jörg Desel
    • 1
  • Manuel Silva
    • 2
  1. 1.Institut AIFBUniversity of KarlsruheKarlsruheGermany
  2. 2.Departamento de Informatica a Ingenieria de Sistemas Centro Politecnico SuperiorUniversidad de ZaragozaZaragozaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-69108-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64677-8
  • Online ISBN 978-3-540-69108-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site