Applications and Theory of Petri Nets

29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

  • Editors
  • Kees M. van Hee
  • Rüdiger Valk
Conference proceedings PETRI NETS 2008

DOI: 10.1007/978-3-540-68746-7

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Regular Papers

    1. Robin Bergenthum, Robert Lorenz, Sebastian Mauser
      Pages 13-32
    2. Eike Best, Philippe Darondeau
      Pages 33-51
    3. Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
      Pages 52-71
    4. Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau
      Pages 72-91
    5. J. Carmona, J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev
      Pages 92-111
    6. Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alex Yakovlev
      Pages 112-131
    7. Kristian L. Espensen, Mads K. Kjeldsen, Lars M. Kristensen
      Pages 152-170
    8. Guy Edward Gallasch, Jonathan Billington
      Pages 191-210
    9. Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
      Pages 211-230
    10. Ryszard Janicki, Dai Tri Man Lê
      Pages 251-269
    11. Matthias Jantzen, Georg Zetzsche
      Pages 270-287

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.

The 19 revised full regular papers and 4 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from 75 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.  

Keywords

Petri nets Routing Session algorithms bounded Petri nets concurrent systems formal specification fuzzy Petri nets modeling nets-within-nets ontologies programming softw validation verification

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-68745-0
  • Online ISBN 978-3-540-68746-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349