Skip to main content
  • Textbook
  • © 2004

Lectures on Concurrency and Petri Nets

Advances in Petri Nets

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

Conference series link(s): ACPN: Advanced Course on Petri Nets

Conference proceedings info: ACPN 2003.

Buy it now

Buying options

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

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

Table of contents (23 chapters)

  1. Front Matter

  2. Timed Automata: Semantics, Algorithms and Tools

    • Johan Bengtsson, Wang Yi
    Pages 87-124
  3. Petri Nets and Dependability

    • Simona Bernardi, Andrea Bobbio, Susanna Donatelli
    Pages 125-179
  4. Process Algebra

    • Eike Best, Maciej Koutny
    Pages 180-209
  5. A Coloured Petri Net Approach to Protocol Verification

    • Jonathan Billington, Guy Edward Gallasch, Bing Han
    Pages 210-290
  6. Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets

    • Roberto Bruni, Hernán Melgratti, Ugo Montanari
    Pages 291-327
  7. A Survey on Non-interference with Petri Nets

    • Nadia Busi, Roberto Gorrieri
    Pages 328-344
  8. Synthesis of Asynchronous Hardware from Petri Nets

    • Josep Carmona, Jordi Cortadella, Victor Khomenko, Alex Yakovlev
    Pages 345-401
  9. Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned

    • Søren Christensen, Jens Bæk Jørgensen
    Pages 402-412
  10. Unbounded Petri Net Synthesis

    • Philippe Darondeau
    Pages 413-438
  11. Petri Nets and Software Engineering

    • Giovanni Denaro, Mauro Pezzè
    Pages 439-466
  12. Model Validation in Controller Design

    • Jörg Desel, Vesna Milijic, Christian Neumair
    Pages 467-495
  13. Graph Grammars and Petri Net Transformations

    • Hartmut Ehrig, Julia Padberg
    Pages 496-536
  14. Message Sequence Charts

    • Blaise Genest, Anca Muscholl, Doron Peled
    Pages 537-558
  15. Modelling and Control with Modules of Signal Nets

    • Gabriel Juhás, Robert Lorenz, Christian Neumair
    Pages 585-625
  16. Application of Coloured Petri Nets in System Development

    • Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
    Pages 626-685
  17. Bigraphs for Petri Nets

    • Robin Milner
    Pages 686-701

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

Buy it now

Buying options

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