Skip to main content
SpringerLink
Log in
Book cover

Lectures on Concurrency and Petri Nets

Advances in Petri Nets

  • Textbook
  • © 2004

Overview

Editors:
  1. Jörg Desel

    1. Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wolfgang Reisig

    1. Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Grzegorz Rozenberg

    1. , Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ACPN 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 chapters)

  1. Front Matter

    Download chapter PDF

  2. Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management

    • Wil M. P. van der Aalst
    Pages 1-65

  3. InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming

    • Dan Barak, David Harel, Rami Marelly
    Pages 66-86

  4. Timed Automata: Semantics, Algorithms and Tools

    • Johan Bengtsson, Wang Yi
    Pages 87-124

  5. Petri Nets and Dependability

    • Simona Bernardi, Andrea Bobbio, Susanna Donatelli
    Pages 125-179

  6. Process Algebra

    • Eike Best, Maciej Koutny
    Pages 180-209

  7. A Coloured Petri Net Approach to Protocol Verification

    • Jonathan Billington, Guy Edward Gallasch, Bing Han
    Pages 210-290

  8. Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets

    • Roberto Bruni, Hernán Melgratti, Ugo Montanari
    Pages 291-327

  9. A Survey on Non-interference with Petri Nets

    • Nadia Busi, Roberto Gorrieri
    Pages 328-344

  10. Synthesis of Asynchronous Hardware from Petri Nets

    • Josep Carmona, Jordi Cortadella, Victor Khomenko, Alex Yakovlev
    Pages 345-401

  11. Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned

    • Søren Christensen, Jens Bæk Jørgensen
    Pages 402-412

  12. Unbounded Petri Net Synthesis

    • Philippe Darondeau
    Pages 413-438

  13. Petri Nets and Software Engineering

    • Giovanni Denaro, Mauro Pezzè
    Pages 439-466

  14. Model Validation in Controller Design

    • Jörg Desel, Vesna Milijic, Christian Neumair
    Pages 467-495

  15. Graph Grammars and Petri Net Transformations

    • Hartmut Ehrig, Julia Padberg
    Pages 496-536

  16. Message Sequence Charts

    • Blaise Genest, Anca Muscholl, Doron Peled
    Pages 537-558

  17. Model-Based Development of Executable Business Processes for Web Services

    • Reiko Heckel, Hendrik Voigt
    Pages 559-584

  18. Modelling and Control with Modules of Signal Nets

    • Gabriel Juhás, Robert Lorenz, Christian Neumair
    Pages 585-625

  19. Application of Coloured Petri Nets in System Development

    • Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
    Pages 626-685

  20. Bigraphs for Petri Nets

    • Robin Milner
    Pages 686-701
Back to top

Keywords

Editors and Affiliations

  • Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,  

    Jörg Desel

  • Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany

    Wolfgang Reisig

  • , Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation