Applications and Theory of Petri Nets 2001

22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings

  • José-Manuel Colom
  • Maciej Koutny
Conference proceedings ICATPN 2001

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

Table of contents

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

    1. Robin Milner
      Pages 19-22
    2. Mogens Nielsen, Vladimiro Sassone, Jiří Srba
      Pages 23-31
  3. Full Papers

    1. Parosh Aziz Abdulla, Aletta Nylén
      Pages 53-70
    2. Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Michael Lassen et al.
      Pages 71-80
    3. Slavek Bulach, Anton Brauchle, Hans-Jörg Pfleiderer, Zdenek Kucerovsky
      Pages 81-100
    4. Søren Christensen, Lars Michael Kristensen, Thomas Mailund
      Pages 101-120
    5. Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
      Pages 121-143
    6. Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva
      Pages 164-183
  4. A Concurrent Semantics of Static Exceptions in a Parallel Programming Language

  5. Modelling the Structure and Behaviour of Petri Net Agents

    1. Michael Köhler, Daniel Moldt, Heiko Rölke
      Pages 224-241
  6. Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

  7. Incremental State Space Construction for Coloured Petri Nets

    1. Glenn Lewis, Charles Lakos
      Pages 263-282
  8. Optimising Enabling Tests and Unfoldings of Algebraic System Nets

  9. Extending the Petri Box Calculus with Time

    1. Olga Marroquín Alonso, David Frutos de Escrig
      Pages 303-322
  10. Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets

About these proceedings

Introduction

This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 100{150 participants { one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. This year the conference was organized jointly with the 2nd International Conference on Application of Concurrency to System Design (ICACSD 2001). The two conferences shared the invited lectures and the social program. The conference and a number of other activities are co-ordinated by a steering committee with the following members: G. Balbo (Italy), J. Billington (Aust- lia), G. De Michelis (Italy), C. Girault (France), K. Jensen (Denmark), S. - magai (Japan), T. Murata (USA), C.A. Petri (Germany; honorary member), W. Reisig (Germany), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Other activities before and during the 2001 conference included tool dem- strations, a meeting on \XML Based Interchange Formats for Petri Nets", - tensive introductory tutorials, two advanced tutorials on \Probabilistic Methods in Concurrency" and \Model Checking", and two workshops on \Synthesis of Concurrent Systems" and \Concurrency in Dependable Computing". The tu- rial notes and workshop proceedings are not published in these proceedings, but copies are available from the organizers.

Keywords

Petri nets concurency embedded systems flow charts formal verification logic model checking modeling networking petri net programming state charts stochastic Petri nets timed Petri nets verification

Editors and affiliations

  • José-Manuel Colom
    • 1
  • Maciej Koutny
    • 2
  1. 1.Departamento de Informática e Ingeniería de Sistemas Centro Politécnico SuperiorUniversidad de ZaragozaZaragozaSpain
  2. 2.Department of Computing ScienceUniversity of Newcastle upon TyneNewcastle upon TyneUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45740-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42252-5
  • Online ISBN 978-3-540-45740-4
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Telecommunications
Oil, Gas & Geosciences