Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Wolfgang Reisig, Grzegorz Rozenberg, editors, Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996. Volume 1491 of Lecture Notes in Computer Science, Springer, 1998.

Conference: ac

Abstract is missing.

Informal Introduction to Petri NetsWolfgang Reisig, Grzegorz Rozenberg. 1-11

Elementary Net SystemsGrzegorz Rozenberg, Joost Engelfriet. 12-121

Place or Transition Petri NetsJörg Desel, Wolfgang Reisig. 122-173

Principles of High-Level Net TheoryEinar Smith. 174-210

Petri Nets in Performance Analysis: An IntroductionMarco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli. 211-256

Basic Linear Algebraic Techniques for Place or Transition NetsJörg Desel. 257-308

Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net SystemsManuel Silva, Enrique Teruel, José Manuel Colom. 309-373

Decidability and Complexity of Petri Net Problems - An IntroductionJavier Esparza. 374-428

The State Explosion ProblemAntti Valmari. 429-528

Theory of RegionsEric Badouel, Philippe Darondeau. 529-586

Petri Nets and Other Models of ConcurrencyMogens Nielsen, Vladimiro Sassone. 587-642

Distributed Versions of Linear Time Temporal Logic: A Trace PerspectiveP. S. Thiagarajan, Jesper G. Henriksen. 643-681

runs on WebDSL