Skip to main content
  • Textbook
  • © 1998

Lectures on Petri Nets I: Basic Models

Advances in Petri Nets

  • Together with its companion volume "Lectures on Petri Nets II: Applications" this book is the ultimate reference for the area and addresses professionals, students, lecturers, and researchers

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

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

Conference proceedings info: ACPN 1996.

Buy it now

Buying options

Softcover Book USD 54.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 (12 chapters)

  1. Front Matter

  2. Informal introduction to petri nets

    • W. Reisigs, G. Rozenberg
    Pages 1-11
  3. Elementary net systems

    • Grzegorz Rozenberg, Joost Engelfriet
    Pages 12-121
  4. Place/transition Petri Nets

    • Jörg Desel, Wolfgang Reisig
    Pages 122-173
  5. Principles of high-level net theory

    • Einar Smith
    Pages 174-210
  6. Petri nets in performance analysis: An introduction

    • M. Ajmone Marsan, A. Bobbio, S. Donatelli
    Pages 211-256
  7. Linear algebraic and linear programming techniques for the analysis of place/transition net systems

    • Manuel Silva, Enrique Terue, José Manuel Colom
    Pages 309-373
  8. The state explosion problem

    • Antti Valmari
    Pages 429-528
  9. Theory of regions

    • Eric Badouel, Philippe Darondeau
    Pages 529-586
  10. Petri nets and other models of concurrency

    • Mogens Nielsen, Vladimiro Sassone
    Pages 587-642
  11. Distributed versions of linear time temporal logic: A trace perspective

    • P. S. Thiagarajan, Jesper G. Henriksen
    Pages 643-681
  12. Back Matter

About this book

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area.
Together with its companion volume "Lectures on Petri Nets II: Applications" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are
- interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area
- interested in learning about recent results presented within a unified framework
- planning to apply Petri nets in practical situations
- interested in the relationship of Petri nets to other models of concurrent systems.

Bibliographic Information

Buy it now

Buying options

Softcover Book USD 54.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