Advertisement

Application and Theory of Petri Nets 2000

21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

  • Mogens Nielsen
  • Dan Simpson
Conference proceedings ICATPN 2000

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

Table of contents

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

    1. Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev
      Pages 1-15
    2. Gregor Engels, Reiko Heckel, Stefan Sauer
      Pages 24-38
    3. Kim Guldstrand Larsen
      Pages 39-42
  3. Full Papers

    1. Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis
      Pages 43-62
    2. Roberto Bruni, Ugo Montanari
      Pages 83-102
    3. Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
      Pages 103-122
    4. Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
      Pages 123-145
    5. Jörg Desel, Gabriel Juhás, Robert Lorenz
      Pages 146-165
    6. Mohammed Elkoutbi, Rudolf K. Keller
      Pages 166-186
    7. David de Frutos Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso
      Pages 187-206
    8. Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi
      Pages 244-260
    9. Jetty Kleijn, Maciej Koutny
      Pages 261-281
    10. Lars Michael Kristensen, Antti Valmari
      Pages 282-302
    11. Maciej Koutny
      Pages 303-322
    12. Charles Lakos
      Pages 323-342
    13. Louise Lorentsen, Lars Michael Kristensen
      Pages 346-366
    14. Denis Poitrenaud, Jean-Francois Pradat-Peyre
      Pages 387-408
    15. Philippe Schnoebelen, Natalia Sidorova
      Pages 409-423
  4. Tools Presentations

    1. Jochen Beister, Gernot Eckstein, Ralf Wollowski
      Pages 445-454
    2. Wil M. P. van der Aalst, Poul J. N. de Crom, Roy R. H. M. J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers et al.
      Pages 455-464
    3. Karsten Schmidt
      Pages 465-474
    4. Eric Verbeek, Wil M. P. van der Aalst
      Pages 475-484
  5. Back Matter
    Pages 485-485

About these proceedings

Keywords

Computer Computer Networks Concurrent Systems Formal Methods Hardware Hardware Design ISDN Petri Nets Simulation Systems Design Systems Verification Unified Modeling Language (UML) Workflow Management calculus modeling

Editors and affiliations

  • Mogens Nielsen
    • 1
  • Dan Simpson
    • 2
  1. 1.Department of Computer ScienceUniversity of AarhusAarhus CDenmark
  2. 2.University of BrightonBrighton, East SussexUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44988-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67693-5
  • Online ISBN 978-3-540-44988-1
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications