Advertisement

Lectures on Concurrency and Petri Nets

Advances in Petri Nets

  • Jörg Desel
  • Wolfgang Reisig
  • Grzegorz Rozenberg

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

Table of contents

  1. Front Matter
  2. Johan Bengtsson, Wang Yi
    Pages 87-124
  3. Simona Bernardi, Andrea Bobbio, Susanna Donatelli
    Pages 125-179
  4. Eike Best, Maciej Koutny
    Pages 180-209
  5. Jonathan Billington, Guy Edward Gallasch, Bing Han
    Pages 210-290
  6. Roberto Bruni, Hernán Melgratti, Ugo Montanari
    Pages 291-327
  7. Nadia Busi, Roberto Gorrieri
    Pages 328-344
  8. Josep Carmona, Jordi Cortadella, Victor Khomenko, Alex Yakovlev
    Pages 345-401
  9. Søren Christensen, Jens Bæk Jørgensen
    Pages 402-412
  10. Philippe Darondeau
    Pages 413-438
  11. Giovanni Denaro, Mauro Pezzè
    Pages 439-466
  12. Jörg Desel, Vesna Milijic, Christian Neumair
    Pages 467-495
  13. Hartmut Ehrig, Julia Padberg
    Pages 496-536
  14. Blaise Genest, Anca Muscholl, Doron Peled
    Pages 537-558
  15. Gabriel Juhás, Robert Lorenz, Christian Neumair
    Pages 585-625
  16. Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
    Pages 626-685
  17. Robin Milner
    Pages 686-701
  18. Mogens Nielsen, Frank D. Valencia
    Pages 702-741
  19. Laura Recalde, Manuel Silva, Joaquín Ezpeleta, Enrique Teruel
    Pages 742-788
  20. Abhik Roychoudhury, Pazhamaneri Subramaniam Thiagarajan
    Pages 789-818
  21. Rüdiger Valk
    Pages 819-848
  22. Back Matter

About this book

Keywords

Petri nets Workflow Management algorithms automata concurrency concurrent systems distributed systems embedded systems formal methods formal verification petri net process algebra sequence charts system modeling web services

Editors and affiliations

  • Jörg Desel
    • 1
  • Wolfgang Reisig
    • 2
  • Grzegorz Rozenberg
    • 3
  1. 1.Department of Applied Computer ScienceCatholic University of Eichstätt-Ingolstadt 
  2. 2.Institut für InformatikHumboldt-Universität zu BerlinBerlinGermany
  3. 3., Leiden Center of Advanced Computer Science (LIACS)Leiden UniversityLeidenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/b98282
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22261-3
  • Online ISBN 978-3-540-27755-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site