Petri Net Technology for Communication-Based Systems

Advances in Petri Nets

  • Hartmut Ehrig
  • Wolfgang Reisig
  • Grzegorz Rozenberg
  • Herbert Weber

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

Table of contents

  1. Front Matter
  2. H. Weber, H. Ehrig, W. Reisig, A. Borusan, S. Lembke, J. Dehnert et al.
    Pages 1-21
  3. B. Braatz, H. Ehrig, M. Urbášek
    Pages 37-65
  4. Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig
    Pages 83-108
  5. Michael Weber, Ekkart Kindler
    Pages 109-123
  6. Michael Weber, Ekkart Kindler
    Pages 124-144
  7. J. Padberg, M. Urbášek
    Pages 161-196
  8. Jörg Desel, Thomas Erwin
    Pages 219-242
  9. Kirsten Lenz, Andreas Oberweis
    Pages 243-263
  10. Jetty Kleijn
    Pages 295-320
  11. Eckehard Schnieder, Mourad Chouikha, Stefan Einer, Michael Meyer zu Hörste
    Pages 352-362
  12. Volker Braun, Tiziana Margaria, Bernhard Steffen
    Pages 363-382

About this book

Keywords

Animation XML algorithms automata control development inheritance language management modeling modelling petri net system development technology verification

Editors and affiliations

  • Hartmut Ehrig
    • 1
  • Wolfgang Reisig
    • 2
  • Grzegorz Rozenberg
    • 3
  • Herbert Weber
    • 4
  1. 1.Technische Universität BerlinGermany
  2. 2.Institut für InformatikHumboldt-Universität zu BerlinBerlinGermany
  3. 3.Leiden Center of Advanced Computer Science (LIACS)Leiden UniversityLeidenThe Netherlands
  4. 4.Computergestützte InformationsSysteme (CIS)Technische Universität BerlinGermany

Bibliographic information

  • DOI https://doi.org/10.1007/b83526
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20538-8
  • Online ISBN 978-3-540-40022-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book