Advertisement

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

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
    12. Kais Klai, Denis Poitrenaud
      Pages 288-306
    13. Morgan Magnin, Didier Lime, Olivier (H. ) Roux
      Pages 307-326
    14. Roland Meyer, Victor Khomenko, Tim Strazny
      Pages 327-347
    15. J. M. E. M. van der Werf, B. F. van Dongen, C. A. J. Hurkens, A. Serebrenik
      Pages 368-387
  4. Tool Papers

    1. Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
      Pages 388-398
    2. Lawrence Cabac, Till Dörges, Heiko Rölke
      Pages 399-408
    3. Fausto Sessego, Alessandro Giua, Carla Seatzu
      Pages 419-428
  5. Back Matter

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

  • DOI https://doi.org/10.1007/978-3-540-68746-7
  • 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
  • Buy this book on publisher's site